Really ignore ignored users
As of 2019-02-24. See the latest version.
These are versions of this script where the code was updated. Show all versions.
Fixed hiding the unread comment separator when all new posts are hidden
Fixed addition of topic ignore button in user hover cards, which was broken by a design change in a recent forum software upgrade; renamed it to "Ignore In This Topic"