The text ba1f02e0647f, as Debian 13 (Trixie) shipped it.
Variadic diffing
Diffing.Define.Left_variadic(3o) on Linux now
