 /**
  * Teensy Octo v1.0
  *
- * Custom-built USB peripheral with eight buttons, two PWM RGB LEDs and a Piezo buzzer.
- * Based on the Teensy 2 microcontroller - http://www.pjrc.com/teensy
+ * This is the C / Arduino firmware for the Teensy Octo,
+ * a custom-built USB peripheral with eight buttons, two
+ * PWM RGB LEDs and a Piezo buzzer.
+ * 
+ * The microcontroller in use is Teensy 2.0 - http://www.pjrc.com/teensy
  * 
  * Created as a birthday present to Waher (http://waher.net/about-waher-net)
  * 

    Serial.print(millis());
    Serial.println("ms - which is amazingly fast.");

    printHelp();
    Serial.println("");
    Serial.println("Waiting for button presses or serial commands.");

   * Setup function - run once on power-on
   **/
  void setup() {

    // The baud rate is ignored and communication always occurs at full USB speed.
    // http://www.pjrc.com/teensy/td_serial.html
    Serial.begin(9600);

    // Initialize pushbutton pins as inputs with the internal pullup resistor enabled.
    // http://www.pjrc.com/teensy/tutorial3.html
    for (byte i = 0; i < NUMBER_OF_BUTTONS; i++) {
      pinMode(BUTTON_PINS[i], INPUT_PULLUP);
    }

    // Initialize LED pins as output
    for (byte i = 0; i < NUMBER_OF_LEDS; i++) {
      pinMode(LED_PINS[i], OUTPUT);
      analogWrite(LED_PINS[i], 255);
