Forget most of my previous message! Googling again, it looks like someone upstream at Linux picked up the dgrs removal after several weeks (and I simply didn't notice)! I guess the system works. :-) Hooray! -- Nathanael Nerode <neroden@fastmail.fm> Make sure your vote will count. http://www.verifiedvoting.org/