Tim Hinrichs

Hi Jody, Apologies if the docs came off as "aspirational". We could make it clearer that there's NOT an LDAP integration available out of the box today. The JWT and...

There are some corner cases where this behavior is a bit annoying, but typically it comes up when we're doing something we'd never do for real. If the type system...

I'm happy to leave this issue open, as I've had to work around the type-checker multiple times. It's more a question of whether there's a slice of type-checking that could...