"Wouldn't it be kind of great if millions of people were secretly running minix, it would finally go mainstream!"

The engineers probably thought something like this when deciding to use minix.

Now it might achieve the opposite result by associating it with a worst-case scenario of computing freedom and security.