Yeah right now there is only saving as the browser allows (print to PDF is another way). I'll add support for saving as a .txt on cmd-S through HTML5 download API in a bit.