I've searched the help, but I can't find anything about the standards or procedures for suggesting/requesting that a user be banned. Am I missing something?

I'm asking because I noticed that a user posted a fairly obvious anti-semitic rant (ie, he invoked the Protocols of the Elders of Zion) recently. I flagged the post, but have heard nothing. Although the post was deleted, the user is still quite active.