Schematic / Pinout mismatch for IO35 / IO5 and RXD2

[henrygab]

Q: Which is the correct ESP32 IO that has a pad between IO4 and IO12?

The schematic shows IO35 is used for RXD2, and that IO5 is brought out to J9/J11 (other side's header pads). The programming example also shows this pinout. Thus, exposed pins in order would include IO2, IO4, IO5, IO12, ...

However, the pinout diagram indicates that the exposed pins are IO2, IO4, IO35, IO12, ... This matches the silkscreen on v1.2 devices.

Thank you!