https://winaero.com/how-to-batch-rename-files-in-linux-mint/