made a bunch of progress towards uploading PGP key #1142