Mention options that are "global". A global command line option is one that doesn't get reset at --next uses and therefore don't need to be used again. Reported-by: Josh Soref Fixes #7457 Closes #7510
Adapted gen.pl with 'listcats' This commit is a part of "--help me if you can" Closes #5680
It is enabled by default, so --no-styled-output will switch off the detection/use of bold headers. Closes #2538
