The text ad5b212d0f32, as Debian 13 (Trixie) shipped it.
geqr2: QR factor, level 2
geqr2(3) on Linux now
