The official Arduino development team has today announced the release of Arduino 1.8.13,bringing with it new improvements, bug fixes and tweaks.

Arduino 1.8.13 (using your Software Download) was working ok until I did an Arch system upgrade. See screenshot below. The options are there, but not visible. If I click on "Open", for example, and ...

When installing a new Board Manager and canceling and resuming the download, the file gets corrupted. I wanted to install the esp32 boards manager, download was toooo slow, I canceled and pressed i ...