main
docs: add Japanese translate documents (#1812)
Add animation player (#1877)
Simplify generated exercise page sources (#1943)
Re-translate the Japanese version (#1871)