I don’t want to make more work for you, but I do use —help-all all the time and recommend it to others. It is a lot easier than explaining all the nuisances of pants option usage to casual users, which we have a good number of.