Hey folks, we have two PRs that somewhat block our (internal) deployment of Kratos. One fixes a rather exotic bug (that nevertheless can happen much more frequently after external ID token support was added), and the other simplifies OIDC sign-in/registration to just a single redirect. Can we get external opinion on these two, please? :) 1. The fix - https://github.com/ory/kratos/pull/3525 2. OIDC simplification - https://github.com/ory/kratos/pull/3416