Now that Benzema is definitely leaving Real Madrid they definitely need to act now to get a proper replacement for him. As you already said, it looks like Mbappe is definitely not available in this transfer period so Real needs to look somewhere else. I am not really convinced, if Sadio Mane would really be a great replacement though.
Real Madrid have doubled their efforts to get a replacement, the start player from Tottenham Hotspur Harry Kane is someone they seriously consider above many. If he leaves Tottenham, the new coach Ange Postecoglou who has just agreed to join them from Celtic on a four year deal will have to make his arrangements for a new striker to replace Harry kane of he leaves the club. He will have his options. Tottenham Hotspur as a team need to improve, some more players may be laid off by the new coach as he will want to bring some new players of his choice to the team.
At the moment, even though there are rumors that enough money is blowing about this, I think this is still not final because the news about this, to be honest, is still confusing, but indeed Madrid will definitely not be silent at this time because you really look at the depth of the squad after accidentally missing 4 people immediately they only left Vini and Rodrygo the rest empty which of course this clearly had to be done well.
At least they should have several options and not just focus on one player, but in this case I quite like their movements without much media coverage.