https://indigosimple.pages.dev/posts/how-to-change-file-extensions-on-linux/