Hello all, we made a rule about this.
You can “ignore” or “mute” other users if needed from your Preferences page found in the category named “users”. Notifications from muted users will be suppressed even if they mention you while posts from ignored users will not show up for you when reading threads. Please do not post that you have muted or ignored any particular users, even obliquely.
Pretty much explains itself eh? The last sentence is the noteworthy part. There should be no need to mention you’ve ignored someone on the forums. If it seems there would be some need to do something like that for whatever reason, I suggest contacting a mod. We noticed a tendency for this to become a form of attack in some cases, and that’s the reason we took this step. Thanks and we hope you continue to enjoy using the site!