ctwill-proofsort(1) on Linux

The text 9d4929c62411, as Arch Linux 2026-11-01 shipped it. The page shows this text now.

translate CWEB to TeX with mini-indexes

ctwill-proofsort(1) on Linux now