Setup:

$ python -m venv .venv
$ source .venv/bin/activate
$ pip install -U micropython-rp2-pico_w-stubs --no-user --target typings