I switch constantly between different Arduinos - Unos, Nanos, D1, etc. So there's a huge List of boards to scroll each time.
It would be great, if the first four of five lines in the Boards Manager Pulldown would display the "most recently used Boards", just like word does with most recently used fonts in a text file.
btw: great work you guys!!