Users can now rename (copy-with-a-new-name-and-then-delete) files.