@craigraw has already worked on this topic https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1024547
Good find, I didn't know Craig took that on already.
but it seems debian package repo is not maintainer friendly