hiya for the esp32 pico v3 chip variant of the esp32, pin 20 is exposed:

but in the esp32 board definition this pin isnt available because WROVER and WROOM modules don't have this pin available
https://github.com/micropython/micropython/blob/master/ports/esp32/machine_pin.c#L96
shall i submit a PR to change this so the pin is valid?