interface Userimport { type User } from "https://deno.land/x/dropserver_app@v0.2.2/users.ts"; User represents an appspace user. PropertiesproxyId: stringproxyID is the unique string key that identifies the user in an appspace. displayName: stringDisplay name to use for the user. avatar: stringfilename of the avatar for the user