There is still the question of whether such a small part of a bigger work is enough to be protected, but regardless. I think the article was written before that

There is still the question of whether such a small part of a bigger work is enough to be protected, but regardless. I think the article was written before that tweet and does not assume that 1:1 copies of longer code parts happen. As I wrote already to you, there is that whole faction of "even using GPL code for learning is wrong", and to my reading Redas article mainly addresses that. And it has the assumption that the verbatim copies will be very small.