[sr-dev] git:4.0: INSTALL update for release