docs: even more spelling

Here's another round of spelling corrections for the docs. This time, it's mostly capitalization of acronyms, plus a few other minor things.