The text df71c84b3b51, as Debian 13 (Trixie) shipped it.
translate CWEB to C/C++ and/or TeX
ctangle(1) on Linux now
