Manpages of gnome-terminal in Debian wheezy