@Moderators etc work, or do I have to notify individually (
@Qiaochu @Willie @Zev @Mariano, etc) if I seek moderator intervention?
Moderator intervention is invoked using the "flag" link, not a comment.
In addition, the @-notification only works if the user is already participating in the comment thread. If you just randomly
@Mariano on a comment thread which he has not commented on, he will not received any notification whatsoever. (In other words, the @-notification is expressly for comment responses and not for summoning genies.)