index.html: add mike's website