Can you be explicit about the premises that make that (likely to) imply a patent license? They have said (through the GPL) "you can redistribute this so long as there aren't any patent restrictions that forbid royalty-free redistribution", but I'd hesitate to infer that there aren't any patent restrictions that forbid royalty-free redistribution.