There is also a question about making -help useful. We would like these
> sort of diagnostic options to be provided in -help exactly once in on > organized way. The normal way to do that is to put it in the > *SetFromOptions. > Like this one. It is even better if we have an option to dump all petsc options. Fande
