Minor adjustments to some doc files and to usage and --list=hidden-options output