It would be neat if ctrl+s offered to download the textarea to a .txt file.