Looks like it’s official, Penguin and Random House merged. It’ll be interesting to see if this gets past regulatory approval or not.