Not so important, so I hope that you'll forgive me to post it.
It may be handy if the exception can be copied even if one clicks button to Report the exception on Github.
So i can copy exception and discover where to find log file (which should ideally open or a folder in file manager).