The text bb4de1d6b785, as Debian 13 (Trixie) shipped it.
Input signature of the functor Set.Make.
Set.OrderedType(3o) on Linux now
