The end of the Discord bot Pack.