Generic highlighter: New option to specify ignored file patterns so the highlight popup does not show up.