Pretty much my opinion. Let him finish season and then ir might be the best for both to move on before it ends in a meltdown.
We should also stop going for big names who have the best days behind them, Carlo Ancelotti for example would be another typical choice from our board, but would be wrong too. I think we could do with guys like Sarri, Jardim, Tuchel or Pochettino. Difficult to predict who is available of them and who would want to manage in the PL, but someone in this vein can start our players to teach modern football, create a idea how we want to play and then build on it. It might be a risk, it will need patience again, but it has a good chance to pay off and lead somewhere, which I don't see here at all.