Re: [ghc-steering-committee] What should we start with?