On Nov 8, 2022, at 4:07 AM, Simon Peyton Jones <simon.peytonjones@gmail.com> wrote:

(Who, if anyone, is the moderator of the ghc-steering-committee mailing list?)

I am. But perhaps it would be good to add a second moderator as well. Workload is very low -- maybe 1-2 requests per month, 90% of which are spam. I am happy to continue in this role, but there may be delays in delivery.

Richard