bug404734_Make HTML5 the default for new html files creation