I think you misunderstood the use of the word education here. The grand-parent post did not mean the education community as a whole that is using (or even knows

I think you misunderstood the use of the word education here. The grand-parent post did not mean the education community as a whole that is using (or even knows) Minix, but just that Minix is used to educate. Specifically educate Computer Science students on how OS's work.