Remove some dead code
Merge pull request #1732 from hypothesis/remove-some-dead-code

Remove some dead code
Consistent names for focusing on annotations
Merge pull request #1733 from hypothesis/consistent-naming

Consistent names for focusing on annotations.
Re-implement focusing annotation cards

... when hovering over the highlights in the document,
or over the annotation cards themselves.