sspmv(3) on Linux

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

sspmv(3) on Linux now