vdmdbg(3w) on Linux

The text bd1d1cd3df9d, as Debian 4.0 (Etch) shipped it.

vdmdbg(3w) on Linux now