Make permanent, private highlights on any web page.