Great point BTW. EDIT : May be the writer of this article talking about operating systems based on Linux kernel and he called them all simply Linux as we all do.