update to hand-typed index.html file