docs: fix extraneous \< escaping introduced in #1558, fix #1614
#7940
| Job | Run time |
|---|---|
| 4s | |
| 35s | |
| 11m 22s | |
| 8m 10s | |
| 3m 39s | |
| 3m 9s | |
| 4m 15s | |
| 13m 5s | |
| 0s | |
| 44m 19s |
\< escaping introduced in #1558, fix #1614
#7940
| Job | Run time |
|---|---|
| 4s | |
| 35s | |
| 11m 22s | |
| 8m 10s | |
| 3m 39s | |
| 3m 9s | |
| 4m 15s | |
| 13m 5s | |
| 0s | |
| 44m 19s |