doctools(3tcl) on Linux

The text 07fad8d9d0d3, as Debian 13 (Trixie) shipped it. The page shows this text now.

doctools - Processing documents

doctools(3tcl) on Linux now