PROS acquires the digital marketing platform EveryMundo and that’s very good news on the customer experience front.