Really ignores ignored users
Improves the forum's built-in ignore functionality and implements user ignoring for guests.
The following will now be hidden in topics (and when posting replies):
Topics created by ignored users will also be hidden by default.
Visit your Ignore List and the script will synchronise itself with your ignored users.
If you're not logged-in, the extension will manage an independent ignore list for you via the new ignore controls it adds to every post.
A new "Add to ignore list" control will be added to a user's profile next to their posts.
Clicking it will ignore the user - if you're logged-in, this will take you to your Ignore List and the script will handle automatically adding the user to it.
To temporarily view hidden posts, open your script manager's user script commands menu and click "Toggle ignored post display".
Ignored posts will be displayed, with a new "Remove from ignore list" control added to ignored users.
Clicking it will unignore the user - if you're logged-in, this will take you to your Ignore List and the script will handle automatically removing the user from it.
