Re: [Cin] Minor GIT checkins for code + manual