Re: [Cin] A figure number is missing in the HTML User Manual