Chrome extension allowing text to be highlighted, and highlights to be restored when revisiting a page.