actually, you are right, I am asking out of curiosity, in the moment everything runs smooth and I am very happy with the new Push.
I am only a bit worried about projects, which need a lot of CPU, because of heavy-plugin-use - I have to try this first, before I start complaining...
