Until the next PETSc release please put documentation updates in the main PETSc branch (instead of the standard release). This is to allow some refactoring of the documentation and the use of Jacob's very cool lint for manual pages to dramatically improve the manual pages.
Barry
