Hello all, thanks for the feedback so far. It seems we all agree that we shouldn't remove it right now, I updated the bug accordingly. Martin -- Martin Pitt | http://www.piware.de Ubuntu Developer (www.ubuntu.com) | Debian Developer (www.debian.org)