Traceback (most recent call last): File "/usr/lib/python3/dist-packages/thonny/__init__.py", line 145, in launch bench = workbench.Workbench(server_socket) File "/usr/lib/python3/dist-packages/thonny/workbench.py", line 152, in __init__ self._init_language() File "/usr/lib/python3/dist-packages/thonny/workbench.py", line 247, in _init_language language = gettext.translation("thonny", path, [language_code]) File "/usr/lib/python3.7/gettext.py", line 539, in translation 'No translation file found for domain', domain) FileNotFoundError: [Errno 2] No translation file found for domain: 'thonny'