[baseballdork]

Not sure that I'd call a PR a "whole big public announcement". Sure, it wound up here, but I don't think you can blame that on the mod team.

[fragile_frogs]

They also posted the resignation on the Rust subreddit: https://www.reddit.com/r/rust/comments/qzme1z/moderation_tea...

[llogiq]

If matthieum hadn't done it, someone else would have (and has; some dupes have appeared and were subsequently removed).