<div dir="ltr">Hi Barry, <div><br></div><div>thanks for pointing me out to that discussion! Unfortunately I am getting issues with this link: 

<a href="http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20190302/b0c1ad29/attachment.mht" target="_blank" style="white-space-collapse: preserve;">http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20190302/b0c1ad29/attachment.mht</a> , any chance it is a dead one?<div><br></div><div>Cheers</div></div></div>