Added missing possible HTML5 attributes for highlighting
Only add glossary term for first matched pattern, closes #792