Dear maintainers, I open a merge request in salsa, here: https://salsa.debian.org/qa/qa/-/merge_requests/56 I did not open it there initially as salsa was really slow 10 days ago. Regards, Nicolas.