Not that it would help in this particular scenario, but Linux did not embrace the GPL development from about 20 years ago.