This is an official notice that I have changed my PGP key. The old key, BA72BA4E, has been replaced by a new one, which has the primary fingerprint D6674D07 with two subkeys: D67F1DD8 and 014A2697. I decided to swap all my keys out to upgrade their strength to 4096 bits. I have immediately revoked the BA72BA4E key so that it will not be used by mistake.

(It is also worth noting that there is another key, 80BD0DA9, that I created a long while ago and lost the private key to. Please ignore it.) 

I’ve signed the plaintext version of this message with both keys to verify my identity.