Solution found: basically, on WiThumb, you have to enable the internal pull-up resistors by passing a Pin.PULL_UP to the Pin constructor; see docs in http://docs.micropython.org/en/latest/w ... achine.Pin
Some more details including some good advice by @deshipu here: https://github.com/ThomasCLee/funnyvale/issues/3