[tor-commits] [metrics-web/master] Rename 'DescripTor' to 'Tor Metrics Library' as part of task-22732.