The message should make it easy to report the bug, maybe include the link as well. Maybe `Encountered position deleted during semantic highlighting. Please report a bug at: http://...`?