Looks like jumptrading ended up with wormhole.com

Discussed about 4 months ago on HN: https://news.ycombinator.com/item?id=31226663

Anyone have any more info?