The text ec98817478f6, as Debian 3.1 (Sarge) shipped it.
tcl commands for vboxgetty
vboxtcl(5) on Linux now