Note: groups.io will be down for maintenance this evening, starting at 11pm Pacific Time (6am Tuesday 8/3/2020 UTC), for up to two hours.
It suddenly occurred to me that the moderation requirement seen thisPossibly, but if it is I don't think it should be.
... my perspective is that of being heartily fed up with members whoYou and the other moderators should receive the Moderator Notice for the action without regard for whether the actor chose to check "Notify Members".
If that's not working I think that would be a bug. This is really the core function I want from the Notification Overhaul.
A push notification is too transient to be of any help here.For that reason I'll always keep email enabled for Moderator Notices. I'm not sure I'll use the Web/App delivery method at all. Its key advantage (from my point of view) is that it doesn't have the combiner delay, and that may not be enough to entice me.