Linus never cared about that use case of the GPL. He cared about the source code sharing.