Comment 3 for bug 1818629

Ubuntu 18.04.2, hplip 3.19.1:
command '/usr/bin/gpg --keyserver pgp.mit.edu --recv-keys 0x9013C005' (from here https://developers.hp.com/hp-linux-imaging-and-printing/hplipDigitalCertificate.html) returns:
gpg: keyserver receive failed: No data

I can't ping pgp.mit.edu, it seems unreachable to me, though if I enter it in one of those "Down for everyone or just me" websites it says it is up. I have tried accessing it through different countries through a VPN, no juice.