EMERGENCY: Patch 2023.07.31.17

Fixed a few localization issues which became known to us Crash fixes based on received crash dumps sent via the crash report dialog Thank you for providing us with feedback by sending crash dumps via the crash report di…