Fix broken HTML extension