That's a good question. Instinctively I presume a full takeover would need to be launched.
Not so sure that is the play here. I mean, why would WGR have bothered topping up to over 20% if there were just going to sell to MLX anyway? That part doesn't quite add up. But hey they market is a funny place.
That bot is back in action selling into the bid. Currently on about 5 minute intervals, twice the speed of yesterday (for the most part).