I believe it is used to ignore chosen posters. I don't know where it is on this board, but have used it on another board where trolls love to run amok. Try clicking on a user's name and see if the option pops up. Sometimes it is an option in settings of your profile.