Manpages of regina-normal-mpi in Debian testing