I’ve updated the post to use a working keyserver. Otherwise, this should do it:
-----BEGIN PGP PUBLIC KEY BLOCK-----
mQENBFz5f9EBCACkDVz4hyDEX3G33ibZ6JOr8qN/Rl5dX/Wypw3aUOk+zkYBAtCZ
Lesu3l7ahBuH5hUoi/SsX+Kw7xL555GkG7L687PD+4elGmCtRIKjqL0wsP7lreks
Wd7OG1acnvomrXWZauaTQ8pl21tjwhJvZgBWkdDUKi5hpLagbl/mWYLwBikCohV2
F3zUWy4qBJHXLkN8mvpv0kxFnDDiVj9VruI4UmwkvWvMmwf/mYI3qGmC2RjnqlzC
xSz9xJlDjaYDcnXfP1n35myOwEGOqRxEE5DP2PCgeqANkNjPBk08zX2J2KAzKMqy
r8QRFIODfnnP57WdwaLVuJ6Vewdy2Z2aCpwvABEBAAG0IkVuZGVhdm91ck9TIDxp
bmZvQGVuZGVhdm91cm9zLmNvbT6JAU4EEwEIADgWIQRJevUMkq0jhMVuGsoAPbiw
yyNQTwUCXPl/0QIbAwULCQgHAgYVCgkICwIEFgIDAQIeAQIXgAAKCRAAPbiwyyNQ
T/grB/9NXNPz/Is3a36GHZF0yTGL88Nyfgyis00Lz9xpVYEvJC96CWfrNyYSlQyW
Sm9mnTgSm8JL2Jia9bDlMiSl6a64IDYqNWMD0XLeqsm+08/VUyPK3dT3DOA8X52u
wgwwulcMfpw572Pc9N8nJ0SsEjNUGNorDT6+I9WjrzW6rKzwjcfdAm7e6pkkr+nS
0O/ibE7cGgY5jIry27ZvVxUOTcvcYyOVWWOD7cnhE+EjNxuxvhgmpFadj8B2csxo
9rnmLRX5RSR5nRD5xW9gpK4uThuj1ZgDF+Hkwk4tbL2JZuPfiqh7BZ2C8gMgdNHt
k6BvYBAxZFmhs9JahfXeMbQCddoHuQENBFz5f9EBCAC39Qpn+Khon4K3qy4Ii9zy
jL/pSo/auv320rC/L1jRjdx0y1dzjdRBU6xt8SQvnK8TWYJmElKMBwZwlE8wsv32
O34z2JTw6CGAXyaiKOX+Nb7GFzahygxDAXv3StZ8x+MacC7reU46MDRwEXJf4oXv
taP6S98m+4V1Z70bHaOpQ6Aw1/kKoHBZdx3p8m7I6cirtHrdS6CgwXZuvPnvB0Un
IiJt//BmSvXUl1IBwiHX8d9HplxCCmPauNwQ2CYIm85H1MrmAkmezVnDkWahMvE/
M34DxMCvqGdBur4xfQ7PxC3fDwqtiybPrBvr3Ybn1/VxmCxuFqLkgV7XXTgrmjnX
ABEBAAGJATYEGAEIACAWIQRJevUMkq0jhMVuGsoAPbiwyyNQTwUCXPl/0QIbDAAK
CRAAPbiwyyNQT915B/9HZB5Qdr2KrhbgkU7xepqfIEKQ7Tka+GPwQ5k3Pb7/0QUG
wrvetNLkrDisAa9J1OA5cp7zTJ6PEs7dM7+TQ27MiaqtWuHPk1tbCItJC65ge77z
XSPvDdXaa2SMUo9hRYF8l0N+1LPNdO1bRdqIA6WXe9eqgf+mEsWTxWgGr6wn036N
kGX14rZyXX/4GCIB555+70z3GCS9DvVBrRMGxTx6+by5f4dOg2fe79nKCNAHqvRp
MzukVi7noiY10VzNeIRdWpUU3lqk7p7eIHckfjEx0w2NAsocafP+hXb71qz0/mhB
BvJfN2yuq3fD5AXg9+jeIE1+Wq+ar9LVDQDBYn4K
=SC7Q
-----END PGP PUBLIC KEY BLOCK-----