Re: [ghc-steering-committee] GHC2023

Arnaud might be another possible driving force to getting it done?

I can if you need me to. If you ask me to take the lead on this, I'll need a bit of time to come up with a good way of driving consensus. It seems to be a rather tricky subject :-) .