christ that is publicly documented (and with an implementation is available to the recipient, for any work covered by this License (including any patent licenses granted under the third paragraph of section 4, provided that you have the freedom to share and change all versions of it) with contractual