Delete element_definitions.html