In my defence, used pro micro rp2040 because it looked compatible enough with atmel based pro micro boards, and there's a firmware for rp2040 at QMK project.
quotingRaspberry Pi's new microcontroller board is an upgrade over the previous one.
nevent1q…wlx7
https://news.itsfoss.com/raspberry-pi-pico-2/