Pins 46 (3V3) is labeled `Output` when I think it should be at least `Power Output` (or input, I'm still not clear for the Teensy which is better). Same goes for pin 47 (GND) - all the other GNDs on the board are labeled as `Power Input` except this one. Editing the symbol in my project fixed the ERC errors I was getting. Thanks for this project! I'm new to KiCad so sorry if I'm just doing it wrong.