rename gpg key
We actually have https://dl.jami.net/ring.pub.key
And we have that url un our snippets for apt based distributions.
We want to remove any reference to ring then a "rename" is required but we must to ensure we do not brake any running system https://dl.jami.net/ring.pub.key must to continue available.
Probably a symlink is enough.