diff --git a/share/pgpkeys/pgpkeys-developers.sgml b/share/pgpkeys/pgpkeys-developers.sgml
index 068bb79dc4..3da60f1532 100644
--- a/share/pgpkeys/pgpkeys-developers.sgml
+++ b/share/pgpkeys/pgpkeys-developers.sgml
@@ -714,6 +714,11 @@
       &pgpkey.remko;
     </sect2>
 
+    <sect2 id="pgpkey-rene">
+      <title>&a.rene;</title>
+      &pgpkey.rene;
+    </sect2>
+
     <sect2 id="pgpkey-scottl">
       <title>&a.scottl;</title>
       &pgpkey.scottl;