Re: [tor-dev] Slight obfsproxy API change (#10342)