HTML extension added back