bug#5566: 23.1.92; man page header ugly on narrow terminals

[Juri Linkov]

>> Emacs doesn't process such `man' output.  `Man-fontify-manpage' removes
>> ^H's only when the character before ^H is the same as the character after ^H:
>>
>>     (while (re-search-forward "\\(.\\)\\(\b+\\1\\)+" nil t)
>>       (replace-match "\\1")
>>       (put-text-property (1- (point)) (point) 'face Man-overstrike-face))
>>
>> But in this case the characters before ^H and after ^H are different.
>
> As I mentioned before, emacs could improve its output and make it more
> consistent with typical terminal emulators by displaying X^HY as Y when
> X != Y.