The thing they “didn’t want to [do]” was infringe on the Linux trademark.