Ummm... so, revealing yet again my capacity to be dim... is the following more or less on target?
If I wanted to become a Teensy-phile, I....
a) "Once and for all", "do some stuff" to improve my basic Arduino development environment, and then, after that....
b) Using a Teensy is pretty much like using a "real" Arduino, an RBBB, etc?
That's not too terrible! <
I was afraid that the "upload the bootloader" stuff was something I had to do with each new Teensy as it came into use... somewhat along the lines of "formatting a disc".
Oh dear. Now I have to buy a Teensy, and lose a few days playing with ANOTHER "new toy".
Joking aside... always good to have alternatives... thank you for the link to the "how to", and, if you are reading, thank you to whoever wrote it!
(For new people reading this thread... and to check an assumption that doesn't worry me much, but hasn't been covered... And, when "switching" from working with, say, an RBBB to an Teensy, I'd also use "Tools | Board" to tell the development environment, just as I would if, say, switching from an Uno to a Duemilanova?