Given https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=694394 I think we should wait a few more days and then I will update the bug with a link to this thread. That should be enough to show consensus, hopefully. Richard