You are correct but in this context Linux means GNU/Linux.
Bit like how tomato is technically a fruit but everyone knows that in the context of a supermarket it’s a vegtable
Bit like how tomato is technically a fruit but everyone knows that in the context of a supermarket it’s a vegtable