I installed this "Raspberry Pi Pico Visual Studio Code extension" V 0.18.1. I created a new MicroPython Project and added some code to blink a led. So far so good. (Code runs with the Thonny IDE). I ...