On May 6, 2020, at 8:49 AM, Joachim Breitner <mail@joachim-breitner.de> wrote:

I’m not sure if this is the right moment to seek new nominations.
Any opinions?

Not needed right now, we have grown sufficiently last round. An
amortizing algorithm, I guess.

I agree. We took on three members last round, and so can stand to wait a bit before growing again.

Thanks, Chris, for your participation these last few years!