Thank you both for bringing Hall to the Guile manual. I now look forward to making the next release :-) Cheers, Alex On Fri, 2020-05-29 at 11:09 +0200, Catonano wrote: > Il giorno ven 29 mag 2020 alle ore 10:27 Ludovic Courtès < > ludo@gnu.org> ha scritto: > > > I’m sorry, I won’t do that. The arguments in the message you > > reference > > above are not compelling to me; I fail to see what’s wrong with the > > current text. > > > > Apologies for not following the discussion closely enough. I’m > > personally willing to move on now, but really, I think the outcome > > is good. > > > > Thanks again for pushing this change! > > I would have preferred my formulation, but that's a detail > > Overall, the fact that the manual explicitly mentions Guile Hall i > progress > > Carry on !! 😃