Bordmanager with boards in aphabetical order

Community Suggestions for the Arduino Project
6

I had a very encouraging discussion with the ESP8266 team and they have a tool

boards.txt.py

And with that you can generate your own boards.txt sorted or not.

Link to that issue: