They were not intended to be normal Arduino I/Os, but were give some commands to turn them on and off, as described in this SparkFun tutorial (actually for the Arduino Pro Micro). They are: TXLED0; ...

SparkFun also offers classes and a number of online tutorials designed to help educate individuals about the wonderful world of embedded electronics. Note that when I said I wish I was a high-school ...