Does Script Editor really insert Ctrl-M as line endings?