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