Since federated moderation remains semi-broken and this community having only one remote moderator left, I tried locking it, but even that seems to not have federated.
I highly recommend using one of the other "Anarchism" communities linked in the sidebar.
No it is not, and if you don't understand why that's on you (hint: that's like saying a canteen doesn't need someone that cleans up from time to time).
What’s the story with federated moderation? Just not propagating across instances or what?
Lots of things just don't work when you as a moderator have an account on an instance that is not the same as the community you are moderating. Most annoyingly reports don't reach you 80% of the time, but also stuff like adding and removing other mods or apparently locking a community etc. Some of it will appear to work, but it never federates out, even to the instance the community is hosted on.
And in addition there is a huge problem with moderating communities on servers that have a different defederation list. For example I can't see posts and comments done in this community from an hexbear account, as slrpnk is defederated from hexbear, but lemmy.ml is not.