Io ho aggiunto il De Mauro alla barra ricerche di Firefox, figata... cmq l'hanno risistemato da qualche settimana.