Re: [tor-project] Notes from October 19 2017 Vegas team meeting