Interesting discussion, but could y'all move it to Ietf-and-github(_at_)ietf(_dot_)org please? Regards Brian