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