Do you think Reddit admins' identities should be public knowledge?

With this whole debacle brewing, I was browsing /r/ModSupport (since all the good subs I know went private). There I saw a post from someone saying that Reddit admins are affecting discourse from the shadows and pushing their left-wing agenda with little accountability.

I agree with that except for the left-wing part. Turns out that Reddit thinks that mentioning the name of the new employee, who is a public figure, amounts to doxxing. I don't condone doxxing but I don't understand how admins are allowed to remain anonymous considering how much power they have.

Thoughts on this?