I'm doing this manually with String.replace() because the "built-in"
strip_ctrl_a() function doesn't expand ^A/ (conditional line-break) as it
would need to.