Useful but glitchy Rated 3 out of 5 stars

This add-on is useful in that it provides what should be a standard feature, but there are glitches. Sometimes it takes several attempts to Clear highlighting from a highlighted fragment, and sometimes Undo doesn't work.