Re: [At-Large] Procedure for WG output