今さらだけどワークスペースのフォルダ名ってどうやって変えるの？
MODの話じゃないかも知れないので申し訳ない