apt-ключ add <файл>; apt-get... тайм-аут сервера ключей для того же ключа

Я нахожусь за брандмауэром (у меня есть настройка прокси-сервера - так же, как в разделе Почему add-apt-repository теперь не удается получить ключи за моим прокси-сервером, но я могу обновлять списки пакетов и получать ключи вручную?). Я стараюсь apt-get и он говорит "получение ключа... тайм-аут не получен", как и ожидалось. Я перепробовал каждый трюк и смирился с тем, чтобы вручную получать ключи.

Эта ручная уловка работает в некоторых местах, но не в других, и это мой вопрос здесь.

$ sudo apt-add-repository ppa:rael-gc/scudcloud
 ScudCloud is a non official desktop client app for Slack.
Slack (http://slack.com) is a platform for team communication.

Source: https://github.com/raelgc/scudcloud

To install it:

sudo apt-add-repository -y ppa:rael-gc/scudcloud
sudo apt-get update
sudo apt-get install scudcloud
 More info: https://launchpad.net/~rael-gc/+archive/ubuntu/scudcloud
Press [ENTER] to continue or ctrl-c to cancel adding it

gpg: keyring `/tmp/tmps2xm19n_/secring.gpg' created
gpg: keyring `/tmp/tmps2xm19n_/pubring.gpg' created
gpg: requesting key F4E3FBBE from hkp server keyserver.ubuntu.com
gpg: keyserver timed out
gpg: keyserver receive failed: keyserver error

Я ищу ключ на http://keyserver.ubuntu.com/ (префикс с 0x - т.е. 0xF4E3FBBE) и скопируйте открытый ключ в файл, скажем /tmp/keyfile,

$ sudo apt-key add /tmp/keyfile
> Ok

$ apt-key list
/etc/apt/trusted.gpg
--------------------
pub   1024D/437D05B5 2004-09-12
uid                  Ubuntu Archive Automatic Signing Key <ftpmaster@ubuntu.com>
sub   2048g/79164387 2004-09-12

....

pub   4096R/F4E3FBBE 2014-04-15
uid                  Launchpad PPA for Rael

Ключ там.

$ sudo apt-add-repository ppa:rael-gc/scudcloud
...
gpg: requesting key F4E3FBBE from hkp server keyserver.ubuntu.com
gpg: keyserver timed out
gpg: keyserver receive failed: keyserver error

Почему он пытается снова получить ключ?

К счастью, этот шаг не обязателен, так как все остальное успешно:

$ sudo apt-get update
$ sudo apt-get install scudcloud

Но почему apt-add-repository пытается снова выполнить поиск на сервере ключей?