changing name of the HTML5 manifest