The names used for the pins 10 and 9 in the rust board symbol are inconsistent with other sources.
The pin layout diagram, as well as the printing on the bottom of the board has GPIO4 on the same pin as ADC4, and GPIO5 with ADC5.
The ADC numbers in the symbol file should be swapped from 4 to 5, respectively.