diff --git a/CHANGES b/CHANGES
index 80812d334..b5d984306 100644
--- a/CHANGES
+++ b/CHANGES
@@ -16,6 +16,8 @@ Features added
 Bugs fixed
 ----------
 
+* #5460: html search does not work with some 3rd party themes
+
 Testing
 --------