[tor-project] Network health meeting notes, 4 May 2020