Stubs for Automation 2040 W on vscode

I’m trying to use vscode on a Pi 4 to develop in micropython for the pico on the Automation 2040 W.
I’m using the “pimoroni-picow-v1.19.18-micropython.uf2” version of micropython.

vscode Extensions:

  • ms-python.python
  • visualstudioexptteam.vscodeintellicode
  • ms-python.vscode-pylance
  • Pico-W-Go

I can run my code, but vscode doesn’t recognize the “automation” module. I think this is because I don’t have “stubs” for it.

Questions:

  • Where can I get stubs for “automation”? I tried to generate them, but ran out of filesystem space.
  • How do I configure vscode to use the stubs?

Thanks