did you read what I quoted? It says the binary must be distributed with source code, or with an offer to distribute the source code. Lego did none of that.
I was responding to the comment on https://news.ycombinator.com/item?id=35182511, which says that "GPL doesn't say you must provide source code once you get caught, it says you must publish it the moment you release a derivative work."
And, no. You don't have to publish the source code. You have to offer to distribute it. Which is different. (I am not a lawyer).