“Originally, I could not find a MicroPython library for the Raspberry Pi Pico (there is one for the Raberry PI). There is a uf2 file, but it is not easy for an amateur to use it and maintain existing programs.
So I installed the Pimoroni version of Miroython with their libraries. The breakout_icp10125 library does the trick.”