The text 7f001fb891d2, as Debian 13 (Trixie) shipped it. The page shows this text now.
ASN.1 BER encoder/decoder
asn(3tcl) on Linux now
