[micro-syntax] Minor HTM8 cleanup