Sometimes writing to the terminal can be the slowest part because it&#x27;s unbuffered by default in an interactive prompt, so even just redirecting stdout to &#x2F;dev&#x2F;null (or even a file) can be faster. Had that happen some ten years ago, so my explanation could be out of date or misremembered but the effect was real.