[tor-commits] [metrics-web/release] Make generate-specs target optional.