On 2013-06-06 13:36, Martin Escardo wrote: > But it would be nice to hear from those who designed and implemented > the feature. I don't have much to add to this discussion. (Ulf implemented primTrustMe, I added some kind of support to MAlonzo.) -- /NAD