How to Download a file .txt and
Rename its suffix (_cpp.txt -> .cpp)
================================
1. Open the file .txt;
2. Press the M2 button (the right button of the mouse);
   A pop-up menu is opened.
3. Choose with the mouse the:
   "source view" --
   A window is opened;
4. Choose the "file" menu in the upper bar;
5. Choose the "save as" option
   A file browser window is opened;
6. Create a directory in which you want to save the file.
7. Choose the "file.all" option in the combo-box.
8. Erase the unnecessary characters such as [1]
9. Give a new name to the file you wanted to save and
   give it a new suffix such as .cpp (or other if you need).  

Summary:
========
1) Open,
2) M2 right mouse,
3) View Source,
4) File,
5) Save as.