> Comments and feedback submitted on the GitLab merge request, or sent to
> the email thread, will be mirrored bidirectionally between both mediums
For some reason, the feedback on GitLab was not sent back to the mailing list
in my case. A patch I sent to the mailing list  received two comments
on GitLab , but no replies are found on the mailing list.
This is a bit of a tricky case, but I've deployed a patch which should
fix it, perhaps imperfectly. We'll work on a more involved solution and
may update it with a better approach later on.