main
Prepare 1.3.0 release (#1838)
Add animation player (#1877)
Simplify generated exercise page sources (#1943)
Bug fixes and improvements (#1205)
Prepare 1.0.0 release (#1044)