Siehe IDE 2.3.7 now gives Error: 4 DEADLINE_EXCEEDED: - #2 by ptillisch
https://support.arduino.cc/hc/en-us/articles/4415103213714-Find-sketches-libraries-board-cores-and-other-files-on-your-computer#boards