Edit: afaik, implicit patent license for free software licenses are unproven in court. It's an interesting idea, and I actually hope it's the case that everyone is getting an implied patent license that will hold up in court. Thanks for the information, I wish I had incorporated it in my original comment.