No matches were found for subject:"\[tex4ht\] \[bug #558\] tex4ht generated HTML chops parts of overbrace depending on what font is used"