The text dbe712b2f739, as Debian 13 (Trixie) shipped it.
{he,sy}tf2: triangular factor, level 2
hetf2(3) on Linux now
