Thank you for your detailed explanation. I understand now why you don't consider this a bug. But perhaps seeing this on the bug reports page will prevent others from opening a similar one. Unfortunately, the act of closing this bug report will probably result in it becoming archived; and by default, only unarchived "bugs" will be displayed. If there is a way to keep it unarchived, even though resolved, you might want to consider that. I don't know enough about the Debian bug tracking system to know if that is possible. But that is at your discretion. Do what seems best to you.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
