On Mon, Sep 27, 2021 at 11:08:58PM +0200, Ludovic Courtès wrote: > So here’s a patch to fix it, and another one to do a minor cleanup > operation. I created a "tracking bug" to coordinate rebuilding the world: