changed to generate (almost) the same index.html file as checked in (at rev 10c6d587bfff9459)