WiFi Kit 32 PRG Button 0

I’m using the WiFi Kit 32 (includes .96" OLED) with Mu for Python. So far so good, I’ve had some issues but have been able to get through them one by one.

I’m stuck on the PRG button which the docs say is GPIO 0. For the life of me, I can’t read that button. No matter what I do, I get back a 0. I push the button and read… get a 0. I release the button and read… get a 0. Is this how it’s supposed to work? My MicroPython code fragment is below…

(Note: GPIO Pin 0 is supposed to be the PGM button.)
pin0 = machine.Pin(0, machine.Pin.IN, machine.Pin.PULL_UP)
print(pin0.value)

I also tried machine.Pin.None which made no difference.

Any ideas? Thanks.