<div dir="ltr">The new push got rid of the top level organization on this page<div><br></div><div>  <a href="https://petsc.org/main/docs/manualpages/">https://petsc.org/main/docs/manualpages/</a></div><div><br></div><div>To me, this looks much worse. Is there any way to restore it</div><div>without reversing the speed gains?</div><div><br></div><div>   Matt<br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div>What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead.<br>-- Norbert Wiener</div><div><br></div><div><a href="http://www.cse.buffalo.edu/~knepley/" target="_blank">https://www.cse.buffalo.edu/~knepley/</a><br></div></div></div></div></div></div></div></div></div>