Re: Variable pitch mode line

[Juri Linkov]

>> Assuming no styles are used that could hide content, it would be much
>> simpler and fast just to strip all HTML tags from the HTML file, e.g.
>
>>   <p>For information on extending Emacs,
>>   see <a href="elisp/index.html#Top">Emacs Lisp</a> in <cite>The
>>   Emacs Lisp Reference Manual</cite>.</p>
>
>> will become
>
>>   For information on extending Emacs,
>>   see Emacs Lisp in The
>>   Emacs Lisp Reference Manual.
>
>> where you can search for "see Emacs Lisp".
>
> What about "The Emacs Lisp Reference Manual"?

The search will ignore newlines like info.el already does
with Info-search-whitespace-regexp containing newlines.

BTW, Info-search-whitespace-regexp should have the same
list of customizable choices as recently was added to
search-whitespace-regexp.