Dear list,FYI the version 0.13.0 of Learn-OCaml has just been released:- on GitHub, with the corresponding release assets: https://github.com/ocaml-sf/learn-ocaml/releases/tag/v0.13.0- on Docker Hub: https://hub.docker.com/r/ocamlsf/learn-ocaml- and more details are available from my Discourse post: https://discuss.ocaml.org/t/ann-release-of-ocaml-sf-learn-ocaml-0-13-0/8577 )Kind regards,Erik-- Érik Martin-Dorelhttp://erik.martin-dorel.org/