Manpages of nexus-tools in Debian wheezy