#134 Code highlight: non-latin identifiers are incorrectly marked as errors