My recollection was that those were separate changes - servo didn’t get to the stage where it could be merged, but it was absolutely the plan to build a rendering engine that outperformed every other browser before budget cuts hit.
I believe work continues now somewhere else but it would be absolutely nice to know more from the experience from others.