Sold out of shares and listed options. lost a bit on the shares gained more on the options for a small profit, and still have some unlisted options that will, I guess turn into a small holding in the new company. A bit of profit, a bit of disappointment, a tiny bit of exposure, and time to move on.