Re: Rethinking GHC's approach to managing proposals