That's not the question here. The question here is whether they should be compelled to release any code that they may have happened to distribute along with the

That's not the question here. The question here is whether they should be compelled to release any code that they may have happened to distribute along with the GPL'd library that was previously under MIT, which would be what people here are asking for.