Manpages of nauty in Debian bullseye