Undo previous hkp://pgp...:80 change due to high variance.