The text 42cb3ce01b1e, as Debian 13 (Trixie) shipped it.
Extensions to the List module
Misc.Stdlib.List(3o) on Linux now
