Rough community management stuff happening in a project I care about, but I'm relieved to see the project on the whole and especially maintainers do the right thing.