Yeah, an update/repair will bring back the original html files…