Updated doc for semantic highlighting