Remove unused board definitions

Hi, When I start a new project, I have to choose from 1526 available boards. I am only really interested in using about four or five ESP32 boards. Can I delete the boards I do not want so as to make the selection easier?

I think the best way would be to use the filter:

The term “Devkit” reduces the listed boards down to 18.