launhr_col_getrfnp2(3) on Linux

The text ac44f562c590, as Debian 13 (Trixie) shipped it.

la{un,or}hr_col_getrfnp2: LU factor without pivoting, level 2

launhr_col_getrfnp2(3) on Linux now