I sent an informal survey to debian-devel and will summarize to the deity list any name suggestions I get. Bruce