Support four-digit pull request numbers in progress bar.