Regenerated index.html from spec again