Problems loading Micropython into Rasberry Pi Pico

I am using a LinuxMint laptop preloaded with Python 3.12.3. I downloaded the latest Thonny 4.1.7 micropython successfully.

Unfortunately I have been unable to load the MicroPython into a Rasberry Pi Pico. I can connect to the Pico and it pops up and shows as a device. The Python Shell 3.12.3 displays (/USR/Bin/Python3) It does not show the seperate text block that should show MicroPython download options. The Micropython Thonny is not corrupted. Somehow the path is pointing wrong?

Has anyone dealt with this Linux mystery?

John

This is the command from our tutorial — the -b 2.5.x part installs version 2.5.x, which is the latest version with AI-related features. We recommend installing this version.

You can uninstall the old package with the following commands:
sudo pip3 uninstall -y --break robot-hat
sudo rm -rf ~/robot-hat

Then reinstall the package with:
cd ~/
git clone -b 2.5.x GitHub - sunfounder/robot-hat: Robot Hat python library · GitHub --depth 1
cd robot-hat
sudo python3 install.py