I have quite a few different microcontrollers (about 10 I think) on several different platforms.  But that's nothing compared to the size of my boards list.  So when starting a new project or migrating a project to a different board, I have to dig thru that list and remember exactly which of many similarly named boards I actually have.

I'd like a way to hide most of those boards in the list, and only show the ones I actually have.  I went into the Arduino/Hardware folder and edited boards.txt and remarked out boards I don't have, but they still show up.  Couldn't locate any other files where they are listed.  Is there a file somewhere I can easily edit to filter out most of these boards?