Dmitry Gutov writes: > On 24/06/2023 20:06, Eli Zaretskii wrote: >> I would recommend waiting for Dmitry and Spencer to chime in, and >> submit a followup after their comments, if any. > > Your suggested versions sounds good to me too, thanks. Thanks, I'm attaching an updated patch following Eli's wording. Also CC'ing Spencer in case there are further comments.