On Fri, May 10, 2019 at 03:02:43PM -0700, Ben Pfaff wrote:
> This fixes two bugs. First, & has a special meaning in the replacement
> text for a sed "s" command, so this escapes it. Second, this code
> misprocessed bold or underlined &<>: >^H> would become ^H which
> would display as in most
This fixes two bugs. First, & has a special meaning in the replacement
text for a sed "s" command, so this escapes it. Second, this code
misprocessed bold or underlined &<>: >^H> would become ^H which
would display as in most browers.
Finally, this improves the HTML output so that bold ABC
