interface Documentimport { type Document } from "https://dotland.deno.dev/x/grammy@v1.12.4/types.web.ts"; This object represents a general file (as opposed to photos, voice messages and audio files). Propertiesfile_id: stringIdentifier for this file, which can be used to download or reuse the file file_unique_id: stringUnique identifier for this file, which is supposed to be the same over time and for different bots. Can't be used to download or reuse the file. optionalthumb: PhotoSizeDocument thumbnail as defined by sender optionalfile_name: stringOriginal filename as defined by sender optionalmime_type: stringMIME type of the file as defined by sender optionalfile_size: numberFile size in bytes