Ok, you are of course right. I now filed the wishlist bug in Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=593991
Ok, you are of course right. I now filed the wishlist bug in Debian: http:// bugs.debian. org/cgi- bin/bugreport. cgi?bug= 593991