Subject: Re: [bug#66577] [PATCH 0/4] Newcomer-oriented improvements to the manual and cookbook

From: Ludovic Courtès <[email-masked]>
Date: Tue, 24 Oct 2023 18:12:11 +0200

Hey,

Pushed as 216f8ffff49c54ad56209c4fd6528f2d80ee8fed with the change Simon
suggested.  Thank you Mathieu and Simon for your feedback!

Ludo’.