sS html_showLineFeedsForPRE(S html) { ret replace(html, "\n", unicode_newLineArrow() + "\n"); }