clean up extension-related code
Created by: sqs
This removes a lot of now-unused code (made unneeded by either the new browser extension injection newInject
implementation from @ijsnow OR extensions). Review commit-by-commit.
There will be a bit of further simplification when #1313 is merged (eg the removal of the 2 kinds of HoverMerged
types and the need to cast).