Agree! Don't change filetype or extension. Or append something meaningful to the name as a minimum e.g. The_show_200823_originalstupidfilename.mp4
I use podcast addict to download episodes and then play them via Play-Fi (which is not yet integrated, but it'd be a very nice feature to add to podcast addict) . The problem is that some podcast file names are very weird and it'd be very nice to have an option to rename the podcast after downloading to something much more meaningful such as date-podcast-title.mp3 . To check the downloaded episodes, the add can check for the original file name and if not present, look for the 'nicer' file name. That is just a couple of lines of code. I'm sure that the nice developer behind podcast addict, can add that option! Thanks a lot!
Scott Wiseley commented
I would love the opportunity to rename individual episodes / override episode titles. Many podcasts have generic names like Episode #17, or some feeds may even lack the original titles from the authors. Please let me rename individual episodes!