Rohan Mahy

> @rohan-wire I love this application of `step-ca`! If you're comfortable storing Wire handles and client IDs in your IdP, you could use custom claims in the OIDC token, and...

> You can use the templates for setting the subject and SANs. For OIDC, you can use data from the OIDC token, the CSR, and user-provided data. By default, we...

If you would like some concrete help in adopting MLS and any MLS extensions which prove valuable for MIMI, feel free to reach out to me

I am generally OK with a much more concise introduction (but I don't find the current Introduction offensive either). If we were to use a shorter intro I would want...

Hi, On docker, I am getting the following: ``` 967.1 * Error 17 at Spec.Loops.fst(5,0-11,30): 967.1 - Z3 solver not found. 967.1 - Required version: 4.8.5 967.1 - Please download...

Regarding building natively, `./build-evercddl.sh` completes with the following line, but I cannot find `cddl.exe` anywhere. ``` gmake: Leaving directory '/Users/rohan/src/ietf/project-everest/everparse/opt' ```