I haven't seen any leaks in the media. Sometimes you get lucky, not this time so far.
Full takeover (exercising the second option) seems to be most logical. As for my GM musings, I think that's too close. However the AGM is not that far away. So while they can always schedule a meeting for the required shareholder approval, using the agm will save costs and is conveniently timed.