Automatic documentation spell check

I've installed an automatic spell-checker for the documentation. You can
see the results at

http://developer.postgresql.org/docs/postgres/spell-check.txt

It updates every time the documentation updates.

Obviously, it's not perfect, but I've found it quite useful over time. In
fact, you'll see a couple of genuine misspellings right in this run.

--
Peter Eisentraut peter_e(at)gmx(dot)net