According to doc, savetxt only allows a file name. I'm surprised it doesn't allow a file-like object. How can I format text into a string? I would like savetxt to accept StringIO for this.