Use highlight-symbol-mode in html mode too