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.<p>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.<p>* [1] - <a href="https://pico.pinout.xyz" rel="nofollow">https://pico.pinout.xyz</a><p>* [2] - <a href="https://github.com/Textualize/rich">https://github.com/Textualize/rich</a>