The text b42b8d38d15b, as Debian 11 (Bullseye), Debian 10 (Buster) shipped it.
José Configuration.
jose_cfg(3) on Linux now