/doc/designs/

• ../
• adtrust
• extdom-plugin-protocol.md
• hidden-replicas.md
• krb-ticket-policy.md