La grande refonte de Microsoft Edge n'aura finalement pas lieu, et c'est tant mieux