Batch rename in your favourite editor