The text a8ad9b506ddf, as Debian 13 (Trixie) shipped it.
pstrf: triangular factor, with pivoting
pstrf(3) on Linux now
