Maybe I’m missing something; I thought the issue here was that they “aren’t” making their source code available. Just modifications to the original code that can be supplied back to the original source. That doesn’t cover all derivative work though.