I do recall him snarkily remarking that MINIX was thus "used on more PC's than Linux (or Windows!)"

30 years on and he was still upset I suppose