Use another key server pool (on port 80) in Debian repositories instructions

weechat/templates/download/debian.html

@@ -132,7 +132,7 @@ var deb_apt_cmds = [
       </li>
       <li>
         {% trans "Import the gpg key used to sign the repository:" %}
-        <kbd>$ sudo apt-key adv --keyserver ha.pool.sks-keyservers.net --recv-keys 11E9DE8848F2B65222AA75B8D1820DB22A11534E</kbd>
+        <kbd>$ sudo apt-key adv --keyserver hkp://p80.pool.sks-keyservers.net:80 --recv-keys 11E9DE8848F2B65222AA75B8D1820DB22A11534E</kbd>
         {% trans "Important: the Raspbian repositories are NOT signed." %}
       </li>
       <li>