The Blinky sketch from Sparkfun works. Surprise, surprise! 
Can anybody explain how it works? TXLED0 and TXLED1 are macros but I cannot see where the macros are.
I just copied and pasted the sketch into my Arduino IDE and compiled it. Why does the compiler know the macros?