bug#6411: Ispell string or comment, bug#6411: Ispell string or comment

[Eli Zaretskii]

> From: Štěpán Němec <stepnem@gmail.com>
> Cc: Stefan Kangas <stefan@marxist.se>,  lennart.borgman@gmail.com,
>   6411@debbugs.gnu.org
> Date: Wed, 08 Apr 2020 21:23:20 +0200
> 
> > Let's hope someone picks up the ball and provides us with a revised or
> > new patch.  If Lennart Borgman doesn't feel up to it after all these
> > years, maybe someone else?
> 
> Here's my take on it.

LGTM, thanks.

Let's wait for a few days for comments, before pushing this.

I also wonder whether it's time to document
ispell-comments-and-strings in the user manual.  Any opinions?