index.html has an explore button that refers to develop.html

[SvenDowideit]

which isn't in my repo

[ned]

index.html can be deleted, it's leftover from something else. Use app.html (which we can rename to index.html but requires changing the server to point to that name.)