* [ ] When renaming the project through the window title interface, the top-level folder name in the navigator needs to change as well. * [ ] The `fileURL` of the document also needs to be updated.
fileURLof the document also needs to be updated.