Fix various typos in the documentation

Generally, the issues fixed here are missing articles, wrong articles and double articles. We especially like "the the".

(cherry picked from commit 4ab9bb63)