I just noticed the ignore user option. Nice! If you click on a user's name, you'll see the option at the bottom.

Now I wonder who'll have the honor of being my first ignore...