[tor-project] Network health meeting notes, 3 Feb 2020