PetscOptions macros should have infomative parameter names
The current PetscOptions*
macros use single letter a,b,...
parameter names. This is useless from a user-perspective, requiring use of documentation to know which parameters are what. This is especially obvious when using an IDE which displays the function signature on hover, such as VS Code.