So https://petsc.org/release/manualpages/SPACE/ and https://petsc.org/release/manualpages/DUALSPACE/ have their own manual page sections but the Petsc[Dual]Space type definitions and function prototypes are in petscfe.h so the type manual pages (e.g. PetscSpace) appear in https://petsc.org/release/manualpages/FE/
Should there be a separate petscspace.h for the space types and prototypes that gets included by petscfe.h Is this reorg safe to do in release since it is for docs-only? Barry