@verb and @w in HTML output

[Gavin Smith]

On Sat, Dec 10, 2022 at 03:11:48PM +0000, Gavin Smith wrote:
> On Sat, Dec 10, 2022 at 11:34:47AM +0000, Gavin Smith wrote:
> > The commands were clearly based on the corresponding LaTeX commands,
> > which we should take as authoritative.  LaTeX \verb doesn't break on
> > a space, so Texinfo @verb shouldn't either.  I am going to revert
> > the changes to texinfo.tex and look at using   in the HTML
> > output.  (Sorry.)
> 
> I have made this change.  I have not decided what to do with line
> breaks yet.

In the recent commit 5399b0d46913, I have made newlines inside
the argument to @verb be output as <br> (or <br/>) for consistency with
the TeX output.  I've also continued the recent change that multiple
spaces inside the argument to @w do not lead to multiple non-breaking
spaces in the output, as has always been the case for TeX output.

We should check this is consistent for the other output formats too, I
suppose.