Good news! The people we are working with at Lenovo have no interest in this either. We don't have any special deal here: they're shipping Fedora under the standard open source licenses and https://fedoraproject.org/wiki/Legal:Trademark_guidelines#OE..., which means there's nothing added (except their docs in /opt/lenovo).