I plan to make apt-file optional. That means that if apt-file isn't installed, the current functionality remains, and if it is, your suggestions will rule the day.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org