Some minor changes, added link to PGP public key.