I worked up some shell scripts to edit the board list. You can control which boards are shown in the boards drop down list to make it show only those boards that you actually use.
I have put the shell scripts and instructions on 'github/harrison37920' under the repository
'Arduino-IDE-...
It will work on Linux, I used Ubuntu 18.04 and edited Arduino-1.8.7 boards.txt files.