probably mentioning on PJRC's forum they're making their own teensy compatible because sparkfun(Under contract by PJRC as the exclusive teensy manufacturer) cut them off.
https://forum.pjrc.com/index.php?threads/open-source-teensy-...