function editBotProfileimport { editBotProfile } from "https://dotland.deno.dev/x/discordeno@13.0.0-rc45/plugins/permissions/deps.ts"; editBotProfile(bot: Bot, options: { username?: string; botAvatarURL?: string | null; })Modifies the bot's username or avatar. NOTE: username: if changed may cause the bot's discriminator to be randomized. Parametersbot: Botoptions: { username?: string; botAvatarURL?: string | null; }