Bug#993080: apt: no instructions on how to explicitly accept the name change

[Francesco Potortì]

Sorry, this should have been filed towards apt-get, not apt

And the solution is "apt update", but I had to discover it by browsing
the net, while it should have been written in the messages and in the
apt-secure man page