When Teensy 4.0 is going to be programmed through Teensyduino, you can see a little red LED flickering. Ist it possible to control this LED by my own code, like the other LED on pin 13?