diff --git a/BUGS b/BUGS
index d78f0d71b0e..91a345dc079 100644
--- a/BUGS
+++ b/BUGS
@@ -22,3 +22,5 @@ not part of the Emacs distribution.)
 (3) By hand.  Do
     cat info/emacs* | more "+/^File: emacs,  Node: Bugs,"
 
+Please first check the file etc/PROBLEMS (e.g. with C-h P in Emacs) to
+make sure it isn't a known issue.