Renaming a project

Is it possible to rename a project from within MPS? I couldn't find any "Project -> Rename"-like menu or submenu options.
I've renamed in the past by renaming folders and searching all files for the project name and substituting it for the new name, but I think I'm just missing a menu item somewhere.
I don't think there is a menu and the file is tricky to find. You need to edit the content of .mps/.name to rename a project.

Please sign in to leave a comment.