Firefox 4 est sorti hier, avec son lot de contrariétés pour moi : j'ai mes petites habitudes et en changer me fait perdre du temps.

Il a donc fallu pallier un peu à tout ça :

J'ai bien relevé des trucs un peu bizarres [2] mais le plus gros est fait...

Notes

[1] télécharger en local le .zip, décompacter le dossier et le mettre dans le dossier de votre profil C:\Users\NomSession\AppData\Roaming\Mozilla\Firefox\Profiles\DossierProfil\extensions

[2] Le bouton "Marque-pages" avec menu déroulant refuse de se placer ailleurs que dans la barre personnelle quand celle-ci est affichée. Dans la page "about:addons", un clic droit sur "A propos" d'un module fait planter le navigateur. Dans "Options", décocher la case "Utiliser l'accélération graphique matérielle si disponible" semble impératif si on possède certaines cartes graphiques nVidia et si on se trouve sous Windows, empêche d'avoir des typos baveuses.