Fix spurious index.html timestamp updates, resolves #79