Delete obsolete files for gh-pages branch