v1.3.1 — Highlighter toggle + double-click ruler

Highlighter on/off

The highlighter now has an on/off switch (in the popup, next to "Highlighter"). Turn it off and selecting text behaves normally again — no colour bar — and any highlights already on the page disappear until you switch it back on. They're not deleted; they're kept and re-shown on toggle. Esc also dismisses the colour bar.

Double-click to toggle the reading ruler

A double-click anywhere on the page now toggles the reading ruler on/off (and tidies up the word it incidentally selected). It's an option, on by default — uncheck "Double-click the page to toggle the ruler" under the ruler control to disable it. Double-clicks on links, buttons, and form fields are ignored.

Full changelog: v1.3.0...v1.3.1