@bagder When will curl make my disk faster?
$ time man -c curl > /dev/null
0m00.02s real 0m00.03s user 0m00.00s system
@gittaca Your man page takes 250ms to display?
Benchmark 1: man -c curl > /dev/null
Time (mean ± σ): 42.3 ms ± 1.3 ms [User: 35.5 ms, System: 6.8 ms]
Range (min … max): 40.3 ms … 45.7 ms 63 runs
Benchmark 2: curl https://curl.se/docs/manpage.html
Time (mean ± σ): 161.1 ms ± 12.1 ms [User: 30.4 ms, System: 21.3 ms]
Range (min … max): 128.5 ms … 183.8 ms 18 runs
Summary
man -c curl > /dev/null ran
3.80 ± 0.31 times faster than curl https://curl.se/docs/manpage.html