Andrea Vezzosi deleted branch wip/andrea/splitsections at Glasgow Haskell Compiler / GHC