- schhist/schhist2web: create index.html in a temporary file and rename it to index.html only at the end. This way, in-place updates work most of the time.