index.html: revert gh-pages merge
Delete files create during gh-pages merge.