diff --git a/docs/src/common_links.inc b/docs/src/common_links.inc
index c8a7fef74b..7ae4e7f590 100644
--- a/docs/src/common_links.inc
+++ b/docs/src/common_links.inc
@@ -44,7 +44,7 @@
 
 
 .. comment
-    Core developers (@github names) in alphabetical order:
+    Core developers and prolific contributors (@github names) in alphabetical order:
 
 .. _@abooton: https://github.com/abooton
 .. _@alastair-gemmell: https://github.com/alastair-gemmell