installation-instructions.md

@@ -92,7 +92,7 @@ bullseye, buster, sid, bionic, eoan, focal, groovy
 
 You should then download the public key [`612DEFB798507F25`](https://keys.openpgp.org/search?q=612DEFB798507F25) to verify the packages, with the command:
 ```
-apt-key adv --keyserver keys.openpgp.org --recv-key 612DEFB798507F25
+apt-key adv --keyserver keyserver.ubuntu.com --recv-key 612DEFB798507F25
 ```
 
 After running `apt-get update`, the package can be installed with