But what about Linux distributions compiled without GNU tools? Most popular Linux distribution’s kernel currently is compiled with Clang, not GCC, and as far as I am aware does not include anything from GNU. Of course Linux is historically influenced by GNU, but in current day and age they are orthogonal
That is an entirely different argument which I did not contest and the comment I have answered to did not make
EDIT: Although, it depends on what we define as “bigger”. Binary size is certainly bigger, but user adoption is abysmal comparatively.