On Wed Dec 24, 2025 at 3:31 PM CET, Jelte Fennema-Nio wrote:
> Oops. Fixed in attached.
I had accidentally included a trailing backspace in one of the lists. To
my surprise that worked fine. Since these trailing separators result in
smaller git diffs when a new item is added at the end of the list, I
decided to put such trailing backslashes in all the lists in this patch.