double_matgen(3) on Linux

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

double_matgen(3) on Linux now