[sr-dev] git:master: Updating INSTALL - mostly formatting