Reading the actual claim being made helps one respond to the right question: "MINIX 3 was now probably the most widely used operating system in the world on x8

Reading the actual claim being made helps one respond to the right question: "MINIX 3 was now probably the most widely used operating system in the world on x86 computers" (emphasis mine)