- index.html: added pgp key