I could be wrong, but a lot of this probably has not changed for those boards that were installed using the board manager, that is part of Arduino IDE.
That is the Arduino15 directory I believe was...