[tor-commits] [metrics-web/release] Prepare for 1.3.0 release.