¿Ya se cansó Google de Torvalds?