This is new in SwiftUI apps. At least in mine.

#wwdc #ui

New menu item allowing you to rename a file.