I made a patch to remove all retired developers from the project pages. If anyone doesn't object I will commit this next week. Regards, Petteri