Delete guiproperties.html.orig