https://shoesandroidblog.blogspot.com/2024/07/renaming-file-extensions-in-android.html