ggidev-ge_3(3) on Linux

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

ggidev-ge_3(3) on Linux now