Fun fact: there is also no express patent license in GPLv2. There have been lawsuits on that. I know because I was the lawyer who filed one of them. So...yeah, this problem is not hypothetical.