Thanks Paul.
Yes, you're more than right. MySensors is an ecosystem on its own.
There are several features I don't expect to have ported to Teensy soon such as OTA updates, a specific low-power bootloader, a communications gateway, support for several other radios besides NRF24L01+, etc. I...