index.html: replace old doctype declaration