Google pone fin al uso de la palabra “Linux” por parte de Microsoft