Because of the tetgen license we cannot include ctetgen directly in the PETSc tarball. Thus we have forked it off into its own repository and it is available for users as --download-ctetgen Developers may choose to hg clone the repository directly into petsc-dev/externalpackages if they have any need to work on the ctetgen source code.
Barry