I wrote: > And the cited Debian software bug is indeed now marked as "VERIFIED FIXED". I particularly liked one exchange in the (generally quite droll) bug history. Mike Beltzner: Apparently there is already some grassroots movement towards resolving this issue [...] Mike Shaver: > some grassroots movement This will not go unpunished.