Atualizando ID de chave no Debian 9 codinome Stretch

Decidiu fazer atualização do Debian 8 para o Debian 9 via repositórios?

Está tendo problemas com a falta de uma chave de autenticidade no apt-get update?

Veja um exemplo:

Costumo usar o repositório "deb http://sft.if.usp.br/debian/ stretch contrib non-free main" e após o "apt-get update" apareceu-me a seguinte mensagem:

Não existem chaves públicas para os seguintes IDs de chaves:
EF0F382A1A7B6500

Pesquisei e resolvi com o seguinte comando:

sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys EF0F382A1A7B6500

Após isto aparecerá a seguinte sequência de mensagens:

Executing: gpg --ignore-time-conflict --no-options --no-default-keyring --homedir /tmp/tmp.FMCdRVh466 --no-auto-check-trustdb --trust-model always --keyring /etc/apt/trusted.gpg --primary-keyring /etc/apt/trusted.gpg --keyring /etc/apt/trusted.gpg.d/debian-archive-jessie-automatic.gpg --keyring /etc/apt/trusted.gpg.d/debian-archive-jessie-security-automatic.gpg --keyring /etc/apt/trusted.gpg.d/debian-archive-jessie-stable.gpg --keyring /etc/apt/trusted.gpg.d/debian-archive-squeeze-automatic.gpg --keyring /etc/apt/trusted.gpg.d/debian-archive-squeeze-stable.gpg --keyring /etc/apt/trusted.gpg.d/debian-archive-wheezy-automatic.gpg --keyring /etc/apt/trusted.gpg.d/debian-archive-wheezy-stable.gpg --keyserver keyserver.ubuntu.com --recv-keys EF0F382A1A7B6500
gpg: requesting key 1A7B6500 from hkp server keyserver.ubuntu.com
gpg: key 1A7B6500: public key "Debian Stable Release Key (9/stretch) " imported
gpg: Número total processado: 1
gpg: importados: 1 (RSA: 1)

Após o comando rodei novamente o "apt-get update" e nenhuma mensagem surgiu.

Fonte: debian - "no public key available" on apt-get update - Unix & Linux Stack Exchange

Por curiosidade: na dúvida usa-se o mesmo repositório que o meu, mas não foi minha a pergunta. :-)