deleting formally the plate-builder.html file since git recognizes a rename as a deletion