PGP public key is available at http://mike.mirt.net/pgp.asc