Manpages of src:nauty in Debian unstable