@Kashish, thank you. Yes, changing the extension worked.
The file was generated as is (with a `.txt` extension) when I used "Share" from my mobile phone (Samsung GS9+ running Android 9) using "ownCloud" cloud storage as a medium.
Anyway, thanks again.