Re: [ghc-steering-committee] Where should we discuss?