diff --git a/en_US.ISO8859-1/books/handbook/pgpkeys/chapter.sgml b/en_US.ISO8859-1/books/handbook/pgpkeys/chapter.sgml
index 7cfd4f2f6b..02bae20a18 100644
--- a/en_US.ISO8859-1/books/handbook/pgpkeys/chapter.sgml
+++ b/en_US.ISO8859-1/books/handbook/pgpkeys/chapter.sgml
@@ -491,6 +491,11 @@
&pgpkey.benno;
+
+ &a.paul;
+ &pgpkey.paul;
+
+
&a.roberto;
&pgpkey.roberto;
diff --git a/share/pgpkeys/paul.key b/share/pgpkeys/paul.key
new file mode 100644
index 0000000000..31cbbf87e5
--- /dev/null
+++ b/share/pgpkeys/paul.key
@@ -0,0 +1,57 @@
+
+
+
+ Key fingerprint = 38 4F 33 80 53 92 01 46 ED 4B A4 91 3E 1E 6B FE
+uid Dr David Paul Richards
+uid Paul Richards
+uid Paul Richards
+uid Paul Richards
+]]>
+
diff --git a/share/pgpkeys/pgpkeys.ent b/share/pgpkeys/pgpkeys.ent
index abd7c87ad5..84e47e462a 100644
--- a/share/pgpkeys/pgpkeys.ent
+++ b/share/pgpkeys/pgpkeys.ent
@@ -90,6 +90,7 @@
+