escape-strings.ui: use editors so copy/paste works better.
escape-strings.ui: use editors so copy/paste works better.

bpollack/factor,bpollack/factor,mrjbq7/factor,factor/factor,mrjbq7/factor,mrjbq7/factor,mrjbq7/factor,tgunr/factor,tgunr/factor,bpollack/factor,factor/factor,factor/factor,bpollack/factor,mrjbq7/factor,bpollack/factor,bpollack/factor,factor/factor,factor/factor,tgunr/factor,mrjbq7/factor,tgunr/factor,tgunr/factor,tgunr/factor,factor/factor,bpollack/factor