How to download a file from a RPi Pico

I can flash files I've written in Pycharm to my RPi Pico but there does not seem to be any way to transfer a file back like you can with Thonny.

The web site talks about the File Transfer tool but this doesn't exist in my (Community) edition.




this functionality is available in Professional Edition only. 




To download a file from a Raspberry Pi Pico, you would typically follow these steps:
1. Connect the Raspberry Pi Pico to your computer using a USB cable.
2. Ensure that the Raspberry Pi Pico is in "boot mode" or "programming mode" by holding down the BOOTSEL button while connecting it to your computer.
3. The Raspberry Pi Pico should appear as a removable drive on your computer. Open the file explorer or Finder on your computer to access the Pico's file system.
4. Navigate to the location where the file is stored on the Raspberry Pi Pico. This might be the main file system or a specific directory.
5. Locate the file you want to download and copy it to your computer by dragging and dropping it to a desired location on your computer's file system.
6. Once the file transfer is complete, safely disconnect the Raspberry Pi Pico from your computer by ejecting the removable drive.
7. The downloaded file is now saved on your computer and can be accessed and used as needed.

Keep in mind that the steps above assume that you have the necessary permissions to access and transfer files on the Raspberry Pi Pico. Additionally, the specific method of file transfer may vary depending on the operating system you are using on your computer.