On 31.05.22 22:06, Justin Pryzby wrote:
> On Wed, May 18, 2022 at 11:57:15AM -0500, Justin Pryzby wrote:
>> I prefer my original, but the most important thing is to include the link at
>> *somewhere*.
>
> Any other opinions ?
Álvaro's patch seems ok to me. What are you concerned about? Do you
have an alternative suggestion? It's a bit hard to figure out the
specifics of what everyone is thinking.