Is there any way of accessing ADC2 Pins?
Even with WiFi off you cannot set up an ADC on any of the ADC2 Pins as you get the error
ValueError: invalid Pin for ADC

Looking at the esp32 port for machine_adc.c it seems only adc1 pins are supported. Is there any way to use ADC2?