Manpages of terminal.app in Debian unstable