Show HN: Picopins, a CLI Pinout for the Raspberry Pi Pico

I was experimenting with ways to store pinout data to generate the Pico pinout website [1] rather than hand-editing HTML- and got carried away.

Pretty much all the heavy lifting is done by the Python library "rich" [2], which makes colourised/structured output on the command-line dangerously easy.

* [1] - https://pico.pinout.xyz

* [2] - https://github.com/Textualize/rich