The text 43b2c4dbc5d7, as Debian 13 (Trixie) shipped it.
lartv: apply vector of plane rotations to vectors
lartv(3) on Linux now