Seeing how the Linux name is used in practice, it's useful to clarify.