[texinfo-pretest] What's <wbr>?

[Karl Berry]

Hi Werner,

    In case you want to use such extensions I suggest to introduce a
    `--html-extensions' switch which activates such features.

Nah, definitely not worth it.

That minor use of <wbr> after an em-dash was just a nice feature, not a
necessity.  It did not occur to me that it wouldn't have gotten into the
standard, I had the impression it's supported in every browser.  Anyway,
Since the Committee Of Infinite Wisdom did not include it, I'll take it
out again.  I wonder if there is some other way to produce a zero-width
allowable break point, aside from the Unicode character for that purpose
(which ironically is far less portable, I fear).

Anyway, thanks for pointing it out.

k