This Hack to Highlight JS plugin allows the user to select snippets of text in text area element that will generate a named anchor links that navigate to the same text in the pre element below.