Bugfix: Text fragments with special characters

When our lovely new text-fragment highlighting feature ran into a block of text with special characters (especially %) it would hang on processing. I wasn't sure why until I remembered that this code is expecting the text-fragment strings to be coming from the URL bar, so those entities should be encoded. I've wrapped the processing in a urlencode() function and the problem is fixed.