stahl-c

I also had the problem that the highlights are sometimes shifted by one character. It only occurred in later parts of the document, not in earlier sections, and it disappeared...