Mention my key on the download page, and how to get it.

[website] / download.html

diff --git a/download.html b/download.html
index 8805baa..ea6d6c7 100755 (executable)
--- a/download.html
+++ b/download.html
@@ -33,6 +33,12 @@
 
     <h3>Source tarballs</h3>
     <br />
+    <p>Import the GnuPG public key used to sign everything here into
+    your keyring with:</p>
+    <code>gpg --keyserver=hkp://keys.gnupg.net --recv-keys A94B3003</code>
+    <p>Its fingerprint is:</p>
+    <code>1659 2093 19D5 C06E D320  3A20 1D27 DB4B A94B 3003</code>
+    <br />
 
     <a name="dload"></a>
     <!-- Releases -->