ggev(3) on Linux

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

ggev: eig, unblocked

ggev(3) on Linux now