FIX: Also skip tags inside XML comments.

The check only contained the syntax group names of HTML comments; there are similar syntax groups for XML. As it's hard to derive the names from the actually used filetype (it could be a custom one derived from either HTML or XML), always match both.