On the mobile platform, there is a menu drop down list in the upper right corner. Select "Account" and then "Ignored Users." Maybe I shouldn't use it so much, but my list of ignored users is 3 pages now. Very useful.
As for our resident GPL refugee, opinions vary regarding whether his posts rise to the level of trolling or not. It's certainly annoying, but there isn't a rule against liking rodents.
Back to hockey talk.