As these GPIOs are shared with wifi it's not trivial or obvious, see https://github.com/raspberrypi/pico-sdk/issues/1222