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
