Je suis plutôt d'accord avec Thibault. Si il y a une erreur, elle doit être corrigée à la racine partout et pour tous, et il mes semble aussi évident qu'essentiel de le signaler aux développeurs (sinon, le problème reviendra encore).
