[devtools] Fix bad HTML, caught by HTM8 parser