The text 6dd28e3c2dd1, as Debian 1.1 (Buzz) shipped it.
grab keyboard keys
XUngrabKey(3x) on Linux now
