You can now ping @mods to request moderator attention in any market. What do you think of this?

Prediction market on manifold. In theory, this should eliminate the need to ask for mod help in the discord. [image]Feel free to use this whenever you think a market needs mods to help with resolution or clarification!