So far I haven't put Teensyduino's boards.txt and platform.txt on github.

There are actually 3 different versions of these files built into the Teensyduino installer, so there isn't just 1...