He announced he was leaving in July 2005. I guess most of his accesses have been removed but his home dir is still on woodpecker. Please check nothing else has been forgotten. Thanks. Both GDP leads failed to realise they had to file a bug. Sorry.
Removed devrel-only-bit. Does by chance anyone know if this is his forums account? https://forums.gentoo.org/profile.php?mode=viewprofile&u=14686 - email is benny at coolbee dot net - he never got the developer tag, but fwiw he can have the retired dev tag now. ;-)
Infra, please retire bennyc.
Done
All done.