Good point, it&#x27;s depressingly common.<p>It&#x27;s not hard to DTRT though. Eg Docker install instructions have<p><pre><code>  4. Add the new GPG key.

  $ sudo apt-key adv --keyserver hkp:&#x2F;&#x2F;p80.pool.sks-keyservers.net:80 --recv-keys 58118E89F3A912897C070ADBF76221572C52609D</code></pre>