ggev3(3) on Linux

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

ggev3: eig

ggev3(3) on Linux now