MPICH2 uses the same documentation software and has real man pages, why doesn't PETSc? Part of why I ask is that our editors could automatically display the formatted man page when we are typing slowly in the body of a function call. I typically split my screen and jump to the definition when I'm unsure of things, but an automatically displayed man page would be better in some ways.