@ctrl-alt-delete handles it. He's brought up whether or not they should still be listed as developers before, but there have been more pressing matters so I doubt it got any attention. Shoot him your idea about an emeritus group. I doubt it would be hard to set up at all.