[lazylex/html] Disallow any text after the end tag name.