I saved the post in a plain text file and fed it as input to Sqawk [1], which I develop, then modified the output somewhat. Namely, I removed the horizontal lin

I saved the post in a plain text file and fed it as input to Sqawk [1], which I develop, then modified the output somewhat. Namely, I removed the horizontal lines separating the rows (to fit the post in the 2000 characters HN allows) and manually centered the text in the header. [1] See https://github.com/dbohdan/sqawk#pretty-print-data-as-a-table https://github.com/dbohdan/sqawk#pretty-print-data-as-a-tabl....