As the submitter, I support the proposal to archive this bug. I clearly haven't used this for a while!
(Sorry for late response; I've been on holiday for a couple of weeks.) -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
