On Friday, 3 October 2025 at 23:05:51 UTC, monkyyy wrote: > On Friday, 3 October 2025 at 23:03:21 UTC, Bruno Haible wrote: >> 2 out of the 4 bugs > > neither should be fixed I kinda agree. Some extra info or docs about this would be enough.