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