[tor-project] Notes from May 10 2018 Vegas team meeting