We have the same situation- smallish community of a few hundred active users, where everybody knows everybody. We’re starting to use GitHub - discourse/discourse-anonymous-moderators · GitHub by @david. It makes it easy for mods to switch between their public and anonymous identities.