[Git][ghc/ghc][master] Fix incorrect markups in the User's Guide