I had looked at the Options>Highlighter before I upgraded and it was set to "Multi (html+php+css+js)". When I upgraded, it set the Options>Highlighter to "PHP" only. I just set it back and now the highlighting for html comment tags does work in php files.
Bonus for me: the problem I had with html comment tags seems to be fixed. Thank you!!
Hi Jeff - Sounds great.