HTML extension