I have put the new index.html in place. On an unrelated note, the patch to GC the first time at each LimitCheck behaved exactly like the un-modified code: it got a segfault with no message printed.