Thanks for the response but could someone please explain why is this normal? Why isn't this a bug? Isn't it the convention on web pages that a download button should initiate a download to a file? Any other web pages when I click a download button a save dialog pops up. Here the file displays in the browser. Isn't this error prone? I could easily get the file name wrong. It would be easy to munge the text with an accidental mouse or button press. Doesn't cutting and pasting a quarter of a meg of text stress clipboards on some systems. I'm confused. Obviously the maintainers of this site (who are clearly experienced and sophisticated web developers) think this is a good thing. What am I missing?
Not to mention that I have never seen the operation "paste text to a file" supported on any system I have used. In my experience you paste to application windows, presumably a text editor in this case. Applications create files. Is this a typo or just meant as short hand for "copy and paste to a text editor and save it to a file called ... ? Or have I been missing the useful "paste to a file" command all these years?
For that matter wouldn't it be better to skip copy and paste and instead use the browser "save file as" command? I would think that would be less error prone.