The prostetnic highlighter, a Firefox add-on for highlighting text in web pages.