bug#67159: Flymake manual typos

[Eli Zaretskii]

> Date: Tue, 14 Nov 2023 10:52:30 +1100
> From:  Alfie John via "Bug reports for GNU Emacs,
>  the Swiss army knife of text editors" <bug-gnu-emacs@gnu.org>
> 
> Hi,
> 
> Here's a few minor changes to the FlyMake manual I believe should be made:
> 
>       - These commands may affect more than one visited file belong to the 
> project.
>       + These commands may affect more than one visited file belonging to the 
> project.
> 
>       - If there are, you the choice to execute
>       + If there are, you then choice to execute
> 
>       - Ask Flymake system to display diagnostics
>       + Ask Flymake to display diagnostics

Thanks, but I seem to be unable to find these texts in the current
flymake.texi, both on the emacs-29 and the master branch.  What did I
miss?