I'm trying to move my development from the Arduino IDE, which has worked fine with arduino-pico for me, to platformio, and followed the example platformio.ini given on the docs to try and upload a ...

This works great with the Arduino IDE (Because Arduino IDE automatically shows selectable network ports), but I can't get it to work with Pio. (For reference I'm running the WiFi101_OTA example in ...

If the Arduino IDE doesn't cut it for you, then you should try to program Arduino with PlatformIO and Visual Studio Code!