Your comments

Unfortunately, it not only does so with HTML tags. Just a plain '<' or '>', or even a '-' at the end triggers the problem. Not clear when and what char combinations exactly, but it happens all too often to be ignored. I think we'll need to add a new note, not limited to HTML elements, to emphasize this a bit more.