gdef(1) on Linux

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

?????????????

gdef(1) on Linux now