Re: [petsc-dev] [DocTip!] #2: Aiming for self-updating docs