Note: groups.io will be down for maintenance on Wednesday, October 5th, starting at 9AM Pacific Time (4PM Wednesday October 5, 2022 UTC), for approximately one hour.
I don't think your request sparked controversy, except as a tangent by people misunderstanding the Moderated attribute and what it applies. I'd be fine with your disable option, and I also think that fixing the moderated-first-message bug will give you another good option.
Like you, I'm done here, too!
Best of luck!
Messages are the sole opinion of the author, especially the fishy ones.