[JKT]

They haven't gone public yet. I guess that OmniGroup must have hit some hurdle as they indicated that it would be out pretty soon over a week or so ago, IIRC.