discobotの名前を変更

[JammyDodger]

再び動作するようになりました。

このため、管理者とユーザー設定画面の両方から「Discobot」にリセットし（これは機能しませんでした）、次に設定ページから名前を変更し、「変更」、「はい」、そして「変更を保存」を確実に押しました。これにより、再び新しい名前で応答するようになりました。

何が決定的な修正なのかは100％確信が持てませんが、何度か壊しては修正してみて、何か新しいことが明らかになるか試してみるつもりです。