Removed index.html : legacy bookmarklet-related stuff