RE: proposal: separate lists for ghc-cvs commits and ghc-dev chatter