diff --git a/util/gh-pages/script.js b/util/gh-pages/script.js
index 68e65acf9cb..6909fbcae09 100644
--- a/util/gh-pages/script.js
+++ b/util/gh-pages/script.js
@@ -232,6 +232,9 @@
                     return true;
                 }
                 searchStr = searchStr.toLowerCase();
+                if (searchStr.startsWith("clippy::")) {
+                    searchStr = searchStr.slice(8);
+                }
 
                 // Search by id
                 if (lint.id.indexOf(searchStr.replace("-", "_")) !== -1) {