Thanks for the input! I now accepted @omani 's PR, which updates the file used by older Thonny versions. Would you be willing to accept some patches making this software useable for unlucky first ...