Rename files with your favorite text editor.