dune

Dune systematically buffers the output of commands so that their output is not mixed up during parallel builds. However, this is not ideal for interactive commands that require direct access to the terminal.

Currently, the only workaround is to run dune with -j 1 --no-buffer which is not ideal since it completely disables parallelism and also require a specific dune invocation.

Another ide

• One needs to call make template or make docker_template, in order to update the .ci/gitlab/ci.yml file after editing the .env file.
• For make template to work in a virtualenv with pip install -r requirements-ci.txt installed, the dependencies.py needs to contain python-dotenv and python-gitlab in the ci_requires list.

There no "Fog of war" in original game, make it disabled by default, like for "Single selection" which is enabled by default like in original

create a bunch of decent CSS markdown themes