Delete github-demos.html