Manpages of super in Debian wheezy