9b3487db64
It came to my attention that the option summary has been neglected for the past few commits. I added the new option in this feature branch and updated the descriptions of two nearby options. This section could use some focused editing.