gnome-terminal: binary-without-manpage gnome-terminal.wrapper
