copy-pasted index.html from develop repo

copy-pasted from the develop repo. by hand. Merge and push does not seem to update the index.html file... (need to find out what I am doing wrong)