laev2(3) on Linux

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

laev2: 2x2 eig

laev2(3) on Linux now