Hi Amos, Not sure if the Debian maintainers get included in the announcements or not. Do you have any contact with them? I have emailed Luigi previously to see if they could update Sid/Stretch as it's still on 3.5.19. Maybe you would have better luck or another contact.