Re: Advice on replacing ghc-split