Added a bit more to INSTALL.rst