Question: how to download text files?
Answer:  Open the Web page from which you want to extract text.  Click the “Right Click” menu.  Click the “Save as”, then in the “Filename” 1Mints. txt comes.  Then select “Save as Type” as “Text Document” and then Okay.