BIG TECH makes LINUX. Is that a problem?