LukeAt the end of November he had 19,220,000 shares 7,617,888 optionsThought this might have increased since then and we had no notice. It would be good to see if this has actually changed since then.