Sorry about the duplicate! Initial list had a different case (Tor-project@) so thought the initial posting got gobbled by gremlins. That's now fixed, and changed the reply-to to be for the list (as we do with tor-internal@).