Rename the file holding my GPG key

Pelican complains about the filename a lot, so it’s safer to rename it (and maybe do an HTTP redirect for the old
name). IPFS version’s link will break, but that’s hopefully not a big issue.

content/pages/about.rst

@@ -52,11 +52,11 @@ Because who doesn’t:
 .. include:: ../files/geekcode.txt
    :code: text
 
-And i have a `public PGP key <{static}../gergely@polonkai.eu.asc>`_
+And i have a `public PGP key <{static}../gpg-public-key.asc>`_
 ===================================================================
 
 Its fingerprint is ``13D6 0476 B35A FCA8 BC01 3A32 F42B BA58 B074 0C4C`` and you can copy its
 contents from here:
 
-.. include:: ../gergely@polonkai.eu.asc
+.. include:: ../gpg-public-key.asc
    :code: text

content/pages/disclaimer.rst

@@ -38,4 +38,4 @@ information for commercial purposes including, but not limited to, sending me ma
 Also note that my primary email address listed on this page is handled by Google Workspace
 (formerly known as Google Apps and Google G-Suite).  While i transition to a more privacy friendly
 service, i suggest you send me emails in an encrypted form; for that, you can use my `public PGP
-key <{static}../gergely@polonkai.eu.asc>`_ (check the details of this key on my `about page <{filename}about.rst>`_).
+key <{static}../gpg-public-key.asc>`_ (check the details of this key on my `about page <{filename}about.rst>`_).

pelicanconf.py

@@ -12,9 +12,9 @@ STATIC_PATHS = [
     'failmeter',
     'favicon.ico',
     'images',
-    'gergely@polonkai.eu.asc',
     'gerrit-dashboard-generator',
     'gerrit-dashboard-generator/index.html',
+    'gpg-public-key.asc',
     'minari',
     'minari/index.html',
     'pgpkey',