For a company that does so much with it, I find it disturbing that google refers to desktop GNU/Linux operating systems as "Linux".