Ten million Linux users can't be wrong! If they think of themselves as "Linux users", they are wrong already ;-). The system is GNU; Linux is the kernel. They are really GNU/Linux users. See http://www.gnu.org/gnu/linux-and-gnu.html for more explanation.