更改discobot名称

[JammyDodger]

我让他又能工作了。

为此，我将他从管理员和用户偏好屏幕重置回“Discobot”（这并没有让他工作），然后从他的偏好页面更改了他的名字，并确保按下了“更改”、“是”，然后是 保存更改。这让他又能响应新名字了。

我不确定关键的修复是什么，但我会尝试几次让他再次出现问题并修复他，看看是否能发现任何新东西。