The text 5ed9c8a8cad0, as Debian 10 (Buster) shipped it.
nroff export plugin
idx_export_nroff(3tcl) on Linux now
