[lazylex/html] Refine/relax the lexer