double_matgen(3) on Linux

The text 6a7ad2d85326, as Debian 11 (Bullseye) shipped it.

double

double_matgen(3) on Linux now