[Dwenaus]

Andrew, the issue you raise–not doing the highlighting with javascript–is valid, and I will be addressing it in the next version, however i’m going to take another approach than you’ve suggested. So other users don’t need to be concerned with the above code, because it will work differently quite soon.