diff --git a/CREDITS b/CREDITS
index afb581de0..505a645bc 100644
--- a/CREDITS
+++ b/CREDITS
@@ -27,6 +27,7 @@ Daniel Stenberg (curl)
 Marcus Streets
 Trevor Vaughan
 Dale Visser
+Kevin W. Wall
 Florian Weimer
 David A. Wheeler
 
diff --git a/doc/other.md b/doc/other.md
index da9a6deb4..7cb570b9a 100644
--- a/doc/other.md
+++ b/doc/other.md
@@ -1086,6 +1086,9 @@ as described below.
     <a href="#signed_releases">signed_releases</a> and
     <a href="#version_tags">version_tags</a>.
 
+    *Rationale*: This was suggested by Kevin W. Wall (@kwwall)
+    in issue #709.
+
 ### Analysis
 
 *   <a name="dependency_monitoring"></a>