Với lại, việc sử dụng tên “Linux” không phải là khá phổ biến mà đã trở thành “ai cũng gọi thế”. Tôi không nghĩ gọi Linux là “hệ điều hành GNU với lõi Linux” là hợp lý (theo bạn thì phải gọi đầy đủ là “GNU Linux” ?) . Việc gọi Linux là Linux không phải là sự hiểu nhầm, việc này hoàn toàn tự nhiên và chấp nhận được. Nếu ngay từ đầu người ta đã gọi là “hệ điều hành GNU với lõi Linux” thì Linux không phổ biến như bây giờ.

Xem nào: “Ubuntu is an operation system based on GNU operation system with Linux core”.
Hoặc là: “GNU operation system with Linux core distro” thay vì “Linux distro”.

Buồn cười quá +_+ !