Buffered input/output of index.html