On Tue, Oct 19, 2021 at 12:16:44PM -0300, Alvaro Herrera wrote:> Dunno, putting it in the middle of the existing paragraph looks odd to> me. I would put it in a separate one instead, as in the attached.
Fine by me. Thanks!--Michael