ggevx(3) on Linux

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

ggevx: eig, expert

ggevx(3) on Linux now