Somewhat async highlighting