Sorry, this must have been done plenty already but I just can't find it.

I Am looking for the best way to script the install and of update Teensyduino and do away with the Teensyduinoinstall installer.
Is there a list of all that Teensyduinoinstall is installing ? Can all these files be found online ?

in my first attempt I built Arduino-1.8.10-Teensyduino form source and added the cores repository as well as the examples... but
I can't find the boards.txt, keywords.txt and platform.txt files.
Are they on github as well ? is the tools folder ?

Anny pointers would be greatly appreciated.
Thank you very much.