I want to avoid seeing threads made by specific users, but "ignore user" doesn't seem to work. Is there a way to do this?