Wrapper

docs/HARDWARE.md

@@ -59,7 +59,7 @@ Serial2.begin(57600, SERIAL_8N1, /*RX=*/16, /*TX=*/17);
 
 GPIO16/17 are safe general-purpose pins on most ESP32 dev boards. (On a few modules with
 PSRAM these pins are reserved — pick two other free UART-capable GPIOs and update the
-sketch if so.) See `esp32/sppro_esp32.ino`.
+sketch if so.) See `examples/Esp32SerialMonitor/`.
 
 ## Quick bring-up checks