eig(3) on Linux

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

eig(3) on Linux now