<div dir="ltr">
<div>Thank you for your report. While waiting for somebody to look at it, I have opened an "issue" on GitLab</div><div><br></div><div>Paolo</div>

</div>