[zeroDivisible]

I know that this is stupid pet peeve but my number one thing to fix is not being able to change the extension of a file with the standard iOS tools. (or is there a way to do this?)

The length to which I needed to go to when I needed to do this recently on a video which was shared with me was mind boggling. I'm not sure if this is because the video was in Files and not in Gallery, but it shouldn't really matter. If anything, that would be exactly where I'd expect to have such a feature.