Hi, changing the link as described in <http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=563402#47> will certainly help and won't make anything worse. Is someone working on that? Cheers, Torsten