Change documentation DirServer->DirAuthority

We renamed the option, but we didn't actually fix it in the log
messages or the docs.  This patch does that.

For #10124.  Patch by sqrt2.
Fix a wide line
Fix two more DirServer mentions in log
Merge branch 'maint-0.2.4' into release-0.2.4