index.html: add html lang attribute.