adding an index.html I copied from elsewhere