New Features

• None (thanks nobody)

Bug Fixes

• view full context button: Restore position to “infobox”
• filteReddit filterline: Fix buttons styling
• Fix hideCommentsOnHeaderDoubleClick
• watcher: Don’t register posts without id as duplicates, which may cause deleted posts to be removed from DOM

Housekeeping / Other

• None (thanks nobody)

---