Michael Albinus <michael.albinus@gmx.de> writes:

> But I'm neither the maintainer nor the release manager, which will
> decide. Eli? John? Nico?

I agree, but Eli and John should decide.

Cheers,
Nico