Batch rename files with your favorite editor
