Thanks for clarifying this. This was not clear from the website.

So Mu is actually not a "simple editor", but a full Python distribution :-)