Deleted HTML pages that got pushed by accident