Hi, according to the previous discussions, I suggest to move the bug to wishlist severity: 1) people seem to agree that we should not modify extensions from upstream 2) other tools that could be usefull should be splitted to an other packet. Do other involved people agree? Olivier gpg key id: 4096R/326D8438 (pgp.mit.edu) Key fingerprint = 5FB4 6F83 D3B9 5204 6335 D26D 78DC 68DB 326D 8438