With some of the last commits, the `installation.md` file was removed. This leads to several dead links, especially on the webpage.