Red Hat jumps, IBM shares dip on cloud mega-merger

This is generally how mergers work, yes.