On Thu, Jun 22, 2023 at 12:01 PM Toon Claes [off-list ref] wrote:

Christian Couder [off-list ref] writes:

quoted

+                     decoration = decoration->next;
+             }
      }

+     /* Cleanup */

Nit: I don't think this comment adds much value. I would argue it's more
confusing to have it, because there's a label cleanup: just a few lines
down.

Ok, I have removed that comment in the version 4 I will send soon.