dsdot(3) on Linux

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

dsdot(3) on Linux now