Superseded by #4, which restores PR #2's search/highlight (regressed by 34252e5) and makes the ?q= deep-link reuse that one mechanism instead of the standalone highlighter here.
· Sign up or log in to comment
