[Anthony Towns] > What's the bug number for this issue? If it hasn't been filed as a > bug, where's the archived discussion that's taken place about it, or > at least the original problem report? Have a look at <URL:http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=222758&archive=yes>.