Removes old HTML syntax file for now in favor of HTML5