We have a grad student working on matching markets across venues. Not a trivial task at scale, but we hope to look at that eventually.

I'd be very cautious how matching works. For some markets like sports it's trivial, but many politics or economics markets have minute rule differences that dramatically change what the actual market is betting on. Many markets have identical titles but are actually totally different markets.