OTHERsolve(3) on Linux

The text 61996f5751ea, as Debian 9 (Stretch) shipped it.

OTHERsolve(3) on Linux now