Re: [tor-dev] small fixes for the sources.list generator (and new options)