It's just "Linux", thank you very much. That's the name Linus gave his kernel; it's Stallman, the man who cares about "freedom", who wants go around renaming other people's work.