I haven't spotted the decrease. On the opposite, even some increase :-) (Or was that just a placebo effect? :) ) There actually shouldn't be any significant de

I haven't spotted the decrease. On the opposite, even some increase :-) (Or was that just a placebo effect? :) ) There actually shouldn't be any significant decrease since the Docker's overhead is negligible.