Make sure links in README don't give 404 errors.
I had to use the installation FAQ because https://www.dune-project.org/installation is empty and hence unusable.
I guess this might needed for other modules, too.
I had to use the installation FAQ because https://www.dune-project.org/installation is empty and hence unusable.
I guess this might needed for other modules, too.