The text 80b02901d094, as Debian 13 (Trixie) shipped it.
Extensions to the Option module
Misc.Stdlib.Option(3o) on Linux now
