[Git][ghc/ghc][wip/10.1] 7 commits: Release notes for GHC 10.0