<div dir="ltr"><br><div class="gmail_extra">    There is also a question about making -help useful.  We would like these<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
sort of diagnostic options to be provided in -help exactly once in on<br>
organized way.  The normal way to do that is to put it in the<br>
*SetFromOptions.<br></blockquote><div><br></div><div>Like this one. It is even better if we have an option to dump all petsc options. <br><br></div><div>Fande<br></div><div><br> </div></div></div></div>