“Today, we are excited to announce the arrival of the Arduino IDE 1.8.13.
Significant improvements include fixing the crash on Mac OS X with multiple monitor setups and resolving the recent package_index.json issue without other user intervention.
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 multiple boards loaded.”