bug#37141: 27.0.50; spelling doesn't work in XML comments

[Eli Zaretskii]

> Date: Thu, 22 Aug 2019 16:29:42 +0200
> From: Vincent Lefevre <vincent@vinc17.net>
> Cc: 37141@debbugs.gnu.org
> 
> > We don't document every obscure feature in the manual, that would make
> > it too large.  Some user options are left out.  I don't see why this
> > one is important enough to add it, sorry.
> 
> That's not an obscure feature.

We will have to disagree on that, I think.

> The default is actually very silly.

It's a defcustom so that everyone who thinks the default is silly
could change it to their liking.

> There's no reason to exclude XML comments by default.

Maybe we have a missing feature, then.

> A user who does not know this variable and what it does will never
> find it.

I didn't know about it, and yet found it in about 10 sec.

> Moreover, the doc string makes no sense. People should learn how to
> write good documentation.

I hope I learned, now ;-)