License" refers to a covered work in a format that is publicly documented (and with an implementation available to the following paragraph. Notwithstanding any other provision of this