On Mon, May 02, 2022 at 08:44:39PM +0100, Jose M Calhariz wrote: > Hi, > > I will have time to look into this again Wednesday. thank you for the > links. I will try to make a patch about README.servers. Thank you! To clarify, even filing a bug without a patch would still be a useful thing to do; I can write the patch if needed. -Ben