prefer-includes: Drop duplicated line in docs
#5034
| Job | Run time |
|---|---|
| 3m 43s | |
| 2m 25s | |
| 6m 27s | |
| 4m 16s | |
| 3m 17s | |
| 2m 36s | |
| 6m 36s | |
| 24s | |
| 4m 9s | |
| 1m 3s | |
| 3m 4s | |
| 2m 32s | |
| 7m 55s | |
| 8m 5s | |
| 5m 2s | |
| 7m 21s | |
| 1h 8m 55s |