Z:gnu-www-ja-2001-09-18-RTLinux--61ef1d-Calling the GNU/Linux system j/en

Calling the GNU/Linux system just "Linux" leads to confusion. Making consistent distinctions between GNU/Linux, the operating system, and Linux, the kernel, clears up the confusion.