Update to progress per 2018-03-01. ([diff](https://trac.torproject.org/projects/tor/wiki/org/teams/MetricsTeam?action=diff&version=85)) URL: https://trac.torproject.org/projects/tor/wiki/org/teams/MetricsTeam?version=85