Enhancement request for the IDE: Favourites in the list of boards.

The Arduino IDE is victim of its success.
Now the list of boards supported spans over several pages and is reset every time the mouse accidentally leaves the long list.
Mainly users are only actively interested in a couple of them.
IMHO it would be really useful, if the IDE could present the most used "favorites" at the very beginning of the list.
Thank you for considering.