What's the difference between the two? ```TS //In next.auth.d.ts we have: declare module "next-auth" { interface Session { user: User & { id: string; }; } } //In server/auth.ts declare module "next-auth" { interface Session extends DefaultSession { user: { id: string; // ...other properties // role: UserRole; } & DefaultSession["user"]; } } ``` What's the purpose of the global next.auth.d.ts if we already have the augmented Session in the auth?