diff --git a/share/pgpkeys/pgpkeys-developers.sgml b/share/pgpkeys/pgpkeys-developers.sgml
index 52179381b7..be38ad7bec 100644
--- a/share/pgpkeys/pgpkeys-developers.sgml
+++ b/share/pgpkeys/pgpkeys-developers.sgml
@@ -626,6 +626,11 @@
       &pgpkey.kuriyama;
     </sect2>
 
+    <sect2 id="pgpkey-rene">
+      <title>&a.rene;</title>
+      &pgpkey.rene;
+    </sect2>
+
     <sect2 id="pgpkey-clement">
       <title>&a.clement;</title>
       &pgpkey.clement;
@@ -756,11 +761,6 @@
       &pgpkey.remko;
     </sect2>
 
-    <sect2 id="pgpkey-rene">
-      <title>&a.rene;</title>
-      &pgpkey.rene;
-    </sect2>
-
     <sect2 id="pgpkey-avl">
       <title>&a.avl;</title>
       &pgpkey.avl;