[Git][ghc/ghc] Pushed new branch wip/jeltsch/explicit-units-doc-fix