I have tried to post to the list (via GMane) but it does not come through. And the last post made seems to be on 2021-10-01... Is the list itself down or is there a GMane problem? -- Bo Berglund Developer in Sweden