Don't panic if highlighting cant be done

[isovector]

When agda is running slow, it's easy to get ahead of the highlighter, and the resulting big error messages are annoying.