The author quotes Google vs Oracle where the case was about using headers for compatibility: IIRC to provide an alternative implementation. This is different f

The author quotes Google vs Oracle where the case was about using headers for compatibility: IIRC to provide an alternative implementation. This is different from vv which uses the headers to link to the GPLed code. IN most jurisdictions the GPL is a license, not a contract, and is definitely designed not to be a contract. That said, as far as I can see vv is in breach of the GPL. This is a case of someone who wants there to be a loophole convincing themselves there is one. I would definitely not redistribute vv because of that. More importantly I think it likely that people packaging software for Linux repos are not going to want to take the risk, and many will object to trying to find a loophole in GPL on principle too.