Use more generic SERIAL_PORT variable name instead of Arduino.
Clean up Windows-specific docs for flashing binary firmware.