changing ASCII markup to HTML markup, per Denise's cats