[tor-commits] [metrics-web/release] Update to latest metrics-lib.