New Features

• Restore hardIgnore to block users everywhere (thanks @larsjohnsen)

Bug Fixes

• Fix subreddit style sometimes not being removed (thanks @larsjohnsen)
• Fix settings console not opening when “block 3rd party cookies” is enabled (thanks @larsjohnsen)
• Fix neverEndingReddit not loading the next page under certain circumstances (thanks @larsjohnsen)
• Increase delay before the userTagger widget disappears (thanks @larsjohnsen)

Housekeeping / Other

• None (thanks nobody)

---