[devtools] Fix more bad HTML