Rotary encoders are not trivial to use. In my search for a clean implementation, I came across a blog post by Buxtronix aka. Ben Buxton. The implementation is written for the Arduino Framework and I adapted it for the Raspberry Pi Pico or RP2040.