Release correspondant au rendu pour la bourse Coddity 2020, et incorporant des corrections ainsi que des améliorations de l'interface utilisateur par rapport au release candidate précédent.