diff --git a/share/pgpkeys/pgpkeys-other.xml b/share/pgpkeys/pgpkeys-other.xml
index 55db4d3768..5b3d72f973 100644
--- a/share/pgpkeys/pgpkeys-other.xml
+++ b/share/pgpkeys/pgpkeys-other.xml
@@ -23,12 +23,12 @@
   <title>&a.bk;</title>
   &pgpkey.bk;
 </sect2>
-
+<!--
 <sect2 id="pgpkey-dvl">
   <title>&a.dvl;</title>
   &pgpkey.dvl;
 </sect2>
-
+-->
 <sect2 id="pgpkey-dhw">
   <title>&a.dhw;</title>
   &pgpkey.dhw;