title: I want to rename profile folder
body: <p>When I rename a profile, it just changes the <code>Name</code> property in Profiles.ini. So I wanted to rename the profile folder to match. If I rename profile directory, and update the path in Profiles.ini file will it be ok? O</p>