[tor-commits] [metrics-db/master] Update to even newer metrics-lib.