I just installed Arduino 2.3.6 onto my windows11 box. In Files/Preferences the "Additional Boards Manager URLs" does nothing. I cannot tell if it is greyed out, because everything is the same color, and other items work.
Windows11 is up to date.
How can I install teensyduino?