pub const PROGRESS_INTERVAL_JSON_MS: u64 = 1000;
Progress reporting interval in JSON output mode (milliseconds).