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