ページ名の変更

最終更新:
コメント/トーラス坑道の名前を変更します。