Une petite mise à jour qui règle quelques problèmes avec :

  • Le script d'installation
  • La taille de police par défaut dans les préférences utilisateur
  • La compression des scripts Javascript