doc: render math with HTML to make it selectable (fix #8453) #3997
| Job | Run time |
|---|---|
| 45m 34s | |
| 48m 23s | |
| 1h 1m 24s | |
| 47m 48s | |
| 43m 53s | |
| 43m 45s | |
| 1h 3m 20s | |
| 42m 50s | |
| 1h 16m 17s | |
| 1h 10m 45s | |
| 1h 31m 30s | |
| 1h 32m 23s | |
| 1h 40m 29s | |
| 1h 33m 13s | |
| 1h 40m 38s | |
| 1h 19m 15s | |
| 35m 31s | |
| 1h 18m 3s | |
| 1h 28m 53s | |
| 1h 28m 56s | |
| 11m 50s | |
| 13m 51s | |
| 15m 2s | |
| 8m 55s | |
| 13m 40s | |
| 17m 32s | |
| 13m 47s | |
| 30m 4s | |
| 27m 58s | |
| 3s | |
| 0s | |
| 1d 1h 45m 32s |