Right now it just sends the output to the browser as text/plain. You could save it from your browser as a file with any extension you like.

I could, instead, use the content-disposition header to automatically have the file downloaded, with a proper file name and extension and all that. Would that work better?