(Terminal Output): document `send-string-to-terminal' in batch mode.