Thanks. It's definitely nowhere on the main Wiki page (I did check!), but searching for "Arduino" inside the Wiki leads to what looks like an actual manual: https://wiki.ugfx.io/index.php/Teensy
Seems a bit convoluted, though. The project-specific library part.