Also, harmonize some configure-option descriptions, add a slash after a subdir, and fix a typo.
Attach a file by drag & drop or click to upload