I have a website that allows users to highlight parts of a HTML document. Assume the document never changes. What are some ways to store user highlights? I thought about storing the beginning and ending character position, but it might not work with multiple user with overlapping highlights.