Rename folders in Dropbox is always painful.