The Arduino 1.8.13 IDE is now available to download and you will also notice that the boards listed in the “Tools” menu are now grouped by platform, making it easier to navigate when you have ...