Extension of saved files wrong.
Saving a .step file from a site it gets saved as a .txt and there is NO way to change the extension.
How can this be solved?
iPad Pro, iPadOS 15
If you update your iPad to iPadOS 16.1 or later, you can now both display and edit filename extensions using the native Files App.
Specific details can be found in this article from 9to5 of Mac:
https://9to5mac.com/2022/11/11/how-to-take-advantage-of-the-new-files-app-features-in-ipados-16/