Things I would have learned earlier if I had listened better: just because it's called a Raspberry Pi doesn't mean it runs Linux.
I don’t know if it’s better than other microcontrollers but the Raspberry Pi Pico documentation seems pretty well-written so far.
a Schelling point for those who seek one