DiscordのBotをPythonでいじってみるか、と思い立ったわずか数時間前に主要なライブラリである discord.py の開発終了が発表されていたので泣いています。なんというタイミングなので…