> which is the preferred mailing list? tor-dev would be best. Mike is the author and maintainer of the package, and I do a little work with it too. -Damian