Since the tutorial you referenced is for the first of these, I'll write my instructions for that one. But a similar procedure can be used for the third party platform as well if you want to try that one.
Run the following command to update the package index used by the Arduino Boards Manager:
arduino-cli core update-index
Run the following command to install the arduino:mbed_rp2040 boards platform:
arduino-cli core install arduino:mbed_rp2040
Connect your Pico board to your computer with a USB cable.
Run the following command to show the list of serial ports on your computer:
arduino-cli board list
Note the port shown for your Raspberry Pi Pico board in the command output, if any.
If there was no serial port, put the Pico into "USB Mass Storage Mode" by unplugging the USB cable, then holding the "BOOTSEL" button while plugging the USB cable back in (as described in section 3.2 of the "Getting started with Raspberry Pi Pico" PDF.
Run a command with the following format to compile and upload a sketch to your Pico:
If there was a serial port:
If the board is in "USB Mass Storage Mode", you can omit the --port flag:
arduino-cli compile --upload --verbose --fqbn arduino:mbed_rp2040:pico <path to sketch>
Replace <port name> in the command with the name of the serial port of your board, as shown by the arduino-cli board list output.
Replace <path to sketch> with the path to the Arduino sketch you want to compile and upload to the Pico.
thanks so much for your reply! I had got as far as (7) but had no serial port. This was actually the point of my question. I thought that the tool rp2040load would fix this problem.
It's good to know how to load programs the other way too, thanks.