Manpages of terminal.app in Debian wheezy