[Cryptech Core] ietf and s'holm

[Randy Bush]

darn.  oh well.  i will be at the iab/wc3 thing fri-sat before the ietf
to sing the cryptech song.

randy