[tor-project] Network meeting, July 6th 2020