index, index.html: quick rewrite