[tor-project] Network team meeting notes, 9 Oct 2018