After the first upload, this should not be necessary as the arduino-pico core has auto-reset support. Select the appropriate serial port ... Once Picoprobe permissions are set up properly, then select ...