Grab the latest ESP32-S3 build from the official MicroPython download page: micropython.org/download/ESP32_GENERIC_S3. Follow the flashing steps described there (or ...
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 ...