[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 2 commits: fix some typos in the warnings page in the user guide