For the record, I have added the Debian bug about this -- http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=193170.
For the record, I have added the Debian bug about this -- http:// bugs.debian. org/cgi- bin/bugreport. cgi?bug= 193170.