[petsc-dev] merge requests to next

[Geoffrey Irving]

Can these three small branches be merge dto next?  I verified that I
don't have permission to do that myself (pre-receive hook declined):

    irving/doc-cleanup
    irving/dual-space-context
    irving/snes-ex12-cleanup

Thanks,
Geoffrey