Problem with board pin assignments on Huzzah32 ESP32 Feather

[sbonaime]

CircuitPython version

Adafruit CircuitPython 9.2.0 on 2024-10-28; Adafruit Feather HUZZAH32 with ESP32

Code/REPL

>>> import board
>>> dir(board)
['__class__', '__name__', 'A0', 'A1', 'A10', 'A11', 'A12', 'A2', 'A3', 'A4', 'A5', 'A6', 'A7', 'A8', 'A9', 'D12', 'D13', 'D14', 'D15', 'D16', 'D17', 'D18', 'D19', 'D21', 'D22', 'D23', 'D25', 'D26', 'D27', 'D32', 'D33', 'D34', 'D35', 'D36', 'D39', 'D4', 'D5', 'I2C', 'LED', 'MISO', 'MOSI', 'NEOPIXEL', 'RX', 'SCK', 'SCL', 'SDA', 'SPI', 'TX', 'UART', 'VOLTAGE_MONITOR', '__dict__', 'board_id']

Behavior

['class', 'name', 'A0', 'A1', 'A10', 'A11', 'A12', 'A2', 'A3', 'A4', 'A5', 'A6', 'A7', 'A8', 'A9', 'D12', 'D13', 'D14', 'D15', 'D16', 'D17', 'D18', 'D19', 'D21', 'D22', 'D23', 'D25', 'D26', 'D27', 'D32', 'D33', 'D34', 'D35', 'D36', 'D39', 'D4', 'D5', 'I2C', 'LED', 'MISO', 'MOSI', 'NEOPIXEL', 'RX', 'SCK', 'SCL', 'SDA', 'SPI', 'TX', 'UART', 'VOLTAGE_MONITOR', 'dict', 'board_id']

Description

I am trying to use an Adafruit Feather HUZZAH32 with ESP32. But according to this adafruit document
https://learn.adafruit.com/adafruit-huzzah32-esp32-feather/pinouts
I should find board.IO12
But no IO pins are available.

Additional information

No response

[dhalbert]

Use D12 instead of IO12. It's the same thing on this board. I'll make a note to fix the pinout diagram and/or add pin aliases.

[dhalbert]

@sbonaime I fixed the pin-out diagram to use "D" instead of "IO".