[tor-dev] metrics-lib/DescripTor 1.3.0 is released