I just sent the money to convert my options. Hopefully I'm doing it right, since it was complicated to get to this point.
Looks like I lost money on the options since I paid $0.40 a long time ago and am now converting for slightly below $1.30 with a SP of $1.55. Oh well, the company gets a bit more cash (and somebody got a good price when selling me their options).