The text b80dda646991, as Debian 12 (Bookworm) shipped it.
Manipulate encodings
encoding(3tcl) on Linux now
