Many thanks for your hints!
Testing the option #3 will take a longer time, because I have no windows 10 system online at this time and I need also time for some other projects. But when I find a practicable solution, I will share it to the...
Hi Paul,
I am new here, but I work with the Teensy 4.1 since some years. I use the Arduino IDE 1.8.13 in a Windows 10 system, which has no internet connection. It works fine.
Now I have seen that there is an Arduiono IDE 2.x available with new...