So, I use Hokusai 2 every now and then to do some audio work. It's actually a rather handy little app. One down side I just discovered, is that it encodes either .wav or .m4a, but no mp3 support. I use the app to produce radio programs, and everything sounds great. However, in addition to just putting that audio on air over my online radio station, I also use a web site to combine that with an image, and thus broadcast that on social media, since you need it to be a video. That web site where I create the one image video only takes mp3 files. So, I'm a bit stuck. On the mac, in the finder, something like that is a piece of cake! Just change the file extension, and done. Can you do the same in the files app on iPad OS? If not, can you recommend a good way to do it, for free, and dealing with some rather large files? I found one free converter, but the file size was limitted to 20 gb. I don't have access to a mac anymore, and while I could just do this all on my Windows laptop, and just use Goldwave, I am trying to get a lot more use out of the iPad so it's not just sitting around collecting dust. It's an m2 pro, so really should be taking advantage of all that power. So, any tips would be much appreciated.