Added HTML grammar as that's used by JavaDoc.