vulcanized version of index.html