MiRmも使い始めたのですが、世界の名前がデフォルトで付いてしまっています。
これを変える方法をご教示願いたいです。
座標表示と難易度変更はコマンドを調べてできました。