Moreover, the proposal seems to work from the assumption that the IETF's ability to leave and go elsewhere is a thing to be "mitigated", but the IETF appears to like that arrangement.I agree with you here, this is why I asked Avri about the separability issue.