Un patch plutôt correctif pour évacuer ci et là les quelques bugs résistants, notamment dans l'interface et l'édition de scripts.