Installing Arduino using flatpak (often used by "App Stores" in various Linux distributions ... Once Picoprobe permissions are set up properly, then select the board "Raspberry Pi Pico (Picoprobe)" in ...