Correctly shortend HTML strings in `String::substrHtml()` (see #7311)