Is there a list somewhere of the IRC nicks of the core developers that use IRC (and who wish to be listed) alongside their real names? If there is no such list, has there ever been discussion on python-dev of creating such a list? --Chris