Even after last fixups, the documentation still had some issues with compilation instructions in particular. I also ran a spelling and grammar check on the text, and fixed issues found by it. Closes #13206
Even after last fixups, the documentation still had some issues with compilation instructions in particular. I also ran a spelling and grammar check on the text, and fixed issues found by it. Closes #13206