The text 7066167f7b1a, as Debian 13 (Trixie) shipped it.
Givens/Jacobi plane rotations
rot_aux_grp(3) on Linux now
