main
Prepare 1.3.0 release (#1838)
Revisit the English version (#1885)
Simplify generated exercise page sources (#1943)