docs: remove -skip-unused from the docs, it is now on by default (c…
#399
| Job | Run time |
|---|---|
| 2h 34m 7s | |
| 2h 19m 27s | |
| 3m 50s | |
| 2h 44m 38s | |
| 43m 22s | |
| 57m 53s | |
| 9h 23m 17s |