Manpages of highlight in Debian wheezy