Discord の名前変更が降ってきた

from 20230610 #0610

Discord の名前変更が降ってきた

さらばだ jgs#0669

全然それらしい ID は残ってなくて無事にleet記法となったのだった...