right place, but that doesn't mean you can't do it now that you've learned where the bug really lies.
i still don't know where to assign this bug. and as long as debian only has that reportbug i won't do much with bugs but reporting. if debian gets a useful frontend like a bugzilla, well ...
if it helps, i sent a mail to mirrors at debian dot org too ... no response of course.Well, that's the wrong place too...
so? where should it go and how am i supposed to know?