Update docs/installation.rst