Merge develop into master
The changes, already merged on develop, are deployed here and should be tested in depth.:
https://codabench-test.lri.fr/
Now merged into master and deployed here:
Summary
-
#891
-
#892
-
#893
-
#895
-
#896
-
#897
-
#898
-
#900
-
#899
-
#906
-
#908