eigenSY(3) on Linux

The text ddc92f0a7074, as Debian 11 (Bullseye) shipped it.

Eigenvalue

eigenSY(3) on Linux now