Updated doc for semantic highlighting

Also updated the gen_manual script and re-built the manual