Mise à jour de la base de données, veuillez patienter...

*facepalm*
Bon ben Google a gagné.  :-(
Microsoft jette l'éponge sur son propre moteur de navigateur (dans Edge) et va utiliser celui de Google.
EDIT: https://blog.mozilla.org/blog/2018/12/06/goodbye-edge/
(Permalink)