<div dir="ltr">FYI, It looks like the Plex method we pages are dead, such as:<div><br></div><div><a href="http://www.mcs.anl.gov/petsc/petsc-current/docs/.../DM/DMPlexGetDepthStratum.html">http://www.mcs.anl.gov/petsc/petsc-current/docs/.../DM/DMPlexGetDepthStratum.html</a><br></div></div>