normally, and how to recognize them and correct them. For a list of
additional problems you might encounter, see @ref{Bugs and problems, ,
Bugs and problems, efaq, GNU Emacs FAQ}, and the file @file{etc/PROBLEMS}
-in the Emacs distribution.
+in the Emacs distribution. Type @kbd{C-h F} to read the FAQ; type
+@kbd{C-h P} to read the @file{PROBLEMS} file.
@menu
* DEL Gets Help:: What to do if @key{DEL} doesn't delete.
Before reporting a bug, it is a good idea to see if it is already
known. You can find the list of known problems in the file
-@file{etc/PROBLEMS} in the Emacs distribution. Some additional
-user-level problems can be found in @ref{Bugs and problems, , Bugs and
-problems, efaq, GNU Emacs FAQ}. Looking up your problem in these two
-documents might provide you with a solution or a work-around, or give
-you additional information about related issues.
+@file{etc/PROBLEMS} in the Emacs distribution; type @kbd{C-h P} to read
+it. Some additional user-level problems can be found in @ref{Bugs and
+problems, , Bugs and problems, efaq, GNU Emacs FAQ}. Looking up your
+problem in these two documents might provide you with a solution or a
+work-around, or give you additional information about related issues.
@menu
* Criteria: Bug Criteria. Have you really found a bug?