Do we know if this is the original group of moderators? I don't see a list on the page, so it's hard to tell. Reddit has been theorised to be replacing mods on

Do we know if this is the original group of moderators? I don't see a list on the page, so it's hard to tell. Reddit has been theorised to be replacing mods on popular subreddits. There is no pinned post explaining the return, as might be expected if the same mods are stopping the protest. That also seems odd.