Looks like jumptrading ended up with wormhole.com