Where does “Minix” come from?

Minix (English): A Unix-like operating system for teaching the principles of operating systems