Rename many files using any text editor