diff --git a/share/pgpkeys/rea.key b/share/pgpkeys/rea.key
index eb324a1edd..2eddf50b49 100644
--- a/share/pgpkeys/rea.key
+++ b/share/pgpkeys/rea.key
@@ -1,4 +1,7 @@
 <!-- $FreeBSD$ -->
+<!--
+sh addkey.sh rea 8152ECFB;
+-->
 <programlisting role="pgpfingerprint"><![CDATA[
 pub   3072D/8152ECFB 2010-10-27
       Key fingerprint = 82FE 06BC D497 C0DE 49EC  4FF0 16AF 9EAE 8152 ECFB