which eventually calls PetscOptionsEnd, masking all subsequent options from the TS output. Choices:<div><br></div><div>1. circumvent the limitation, moving the call outside the TS options</div><div><br></div><div>2. make PetscOptionsBegin() behave like PetscOptionsHead() when called inside a currently active options section</div>
<div><br></div><div>others?</div>