>> Yes. He is not on the mailing list (yet, at least), so we need to >> copy the emails to him. > > I tried to join, but mailman crashed. Bah. I added your debian address to the -developer list. I hope this was OK.