diff --git a/gpg-keys.php b/gpg-keys.php
index 9d75caf16..a26ee72f9 100644
--- a/gpg-keys.php
+++ b/gpg-keys.php
@@ -24,5 +24,10 @@ site_header('GPG Keys');
   </div>
 <?php endforeach ?>
 
+<p>
+  You can download the keyring with all Release Manager public keys:
+  <?php download_link('php-keyring.gpg', 'php-keyring.gpg'); ?>
+</p>
+
 <?php
 site_footer();