3 ms·

Thanks for clarifying this. This was not clear from the website. So Mu is actually not a "simple editor", but a full Python distribution :-)