Re: [PATCH v2 2/8] riched20: Add get_total_width() to get widest paragraph number.