After talking with our users, we’ve realized that the performance of MPS, especially its startup times, wasn’t very good. For this version, we put some effort into boosting the performance and managed to make startup substantially faster. At the same time, we’ve also fixed some other bugs – see the …