<div><br></div><div><br><div class="gmail_quote"><div dir="ltr">On Tue, 14 May 2019 at 17:34, Smith, Barry F. via petsc-dev <<a href="mailto:petsc-dev@mcs.anl.gov">petsc-dev@mcs.anl.gov</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
  Could be they're digging their own grave.<br>
<br>
  I seem to be spending more time waiting after each click when previously I recall it was virtually instantaneous?</blockquote><div dir="auto"><br></div><div dir="auto">It's definitely not your imagination - the web interface is much much slower than it used to be 5-8 years ago.</div><div dir="auto"><br></div><div dir="auto"><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
<br>
<br>
  </blockquote></div></div>