eigenGE(3) on Linux

The text 3fe6dea9b362, as Debian 10 (Buster) shipped it.

eigenGE(3) on Linux now