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.