bug#61667: 29.0.60; Failure to redisplay

[Eli Zaretskii]

> Date: Sun, 16 Apr 2023 16:08:26 +0300
> Cc: luangruo@yahoo.com, 61667@debbugs.gnu.org, gregory@heytings.org
> From: Dmitry Gutov <dgutov@yandex.ru>
> 
> 1. 'emacs -Q', disable stuff.
> 2. 'C-x p f', visit lisp/emacs-lisp/smie.el.
> 3. Search for something rare using 'C-x p g' (e.g. for "Coq-specific", 
> but not necessarily).
> 4. Press 'q' to exit the search.

There's something missing in these steps, or maybe you assume some
setup that I don't have here.  For step 2, what do you mean by
"lisp/emacs-lisp/smie.el"?  "C-x p f" prompts for input, what do I
type at the prompt?  Step 3 yields "no matches" here, although I
definitely see "Coq-specific" in smie.el, so what gives?