First off, make sure you have closed and and all serial monitors before uploading. The plugin cannot do this automatically and they can't both talk to the port. Also, if the Pico has crashed or hung ...

I don't consider the above workarounds to be intended behavior for arduino-esp32, especially considering the average user base of Arduino Uploading without compression is painstakingly slow, ...

The official Arduino IDE is a dour piece of software designed for uploading code to the ubiquitous and super-cool micro controller. It is a standalone, non-networked app that isn’t very pretty ...