Re: [Cin] Minor improvments to the manual