interface DiscordEmbedVideoimport { type DiscordEmbedVideo } from "https://deno.land/x/discordeno_patched@18.0.2/mod.ts"; https://discord.com/developers/docs/resources/channel#embed-object-embed-video-structure Propertiesoptionalurl: stringSource url of video optionalproxy_url: stringA proxied url of the video optionalheight: numberHeight of video optionalwidth: numberWidth of video