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.