Yes, there’s a internal 10K resistor on board and you should not place another on the keyboard. We have improved the manual already.
Btw, for the PROV3 board, the situation is a bit different as the driving voltage of ADC is 3.6V instead of 3.3V, so we have adjusted the firmware for the new voltage.