Do not install and use the HTML extension by default