fix typos pointed out in #3790, and edit manual section 4.1.5 (same file), fixing prose that was never edited, and HT-ifying it. ===GT=== #738
fix typos pointed out in #3790, and edit manual section 4.1.5 (same
file), fixing prose that was never edited, and HT-ifying it.
===GT=== #738

neurodebian/htcondor,neurodebian/htcondor,djw8605/htcondor,neurodebian/htcondor,zhangzhehust/htcondor,neurodebian/htcondor,zhangzhehust/htcondor,zhangzhehust/htcondor,htcondor/htcondor,htcondor/htcondor,djw8605/htcondor,zhangzhehust/htcondor,neurodebian/htcondor,htcondor/htcondor,neurodebian/htcondor,zhangzhehust/htcondor,neurodebian/htcondor,zhangzhehust/htcondor,htcondor/htcondor,djw8605/htcondor,djw8605/htcondor,zhangzhehust/htcondor,djw8605/htcondor,djw8605/htcondor,htcondor/htcondor,htcondor/htcondor,neurodebian/htcondor,djw8605/htcondor,zhangzhehust/htcondor,djw8605/htcondor,zhangzhehust/htcondor,htcondor/htcondor,htcondor/htcondor,djw8605/htcondor,neurodebian/htcondor