Re: [petsc-dev] links from manual pages to users manual