Une version 4.0.1 est déjà disponible, pas encore de changelog, mais je pense qu'il corrige pas mal de problèmes de compatibilité de widgets.
Les liens de téléchargement dans la news
EDIT :
Changelog
This version actually fixes:
* Not picking proxy values correctly
* several window elements (onKeyDown, onMouseDown, onMouseEnter) were being reset to undefined
* XMLHttpRequest now correctly deals with application/xml and content-types that end in +xml