That's why _LEAN_ open source is really required, and that includes the SDK.