docs: language & formatting improvements (#1679) #1422
| Job | Run time |
|---|---|
| 12m 39s | |
| 14m 51s | |
| 18m 17s | |
| 12m 55s | |
| 13m 33s | |
| 20m 2s | |
| 19m 47s | |
| 16m 56s | |
| 20m 16s | |
| 19m 28s | |
| 20m 5s | |
| 18m 22s | |
| 17m 35s | |
| 19m 2s | |
| 13m 35s | |
| 18m 3s | |
| 18m 7s | |
| 18m 5s | |
| 20m 59s | |
| 15m 12s | |
| 13m 41s | |
| 19m 46s | |
| 18m 52s | |
| 20m 36s | |
| 7h 0m 44s |