config.md: advertise diffedit3 as an alternative to meld-3 diff editor
#10884
| Job | Run time |
|---|---|
| 3m 42s | |
| 33s | |
| 2m 52s | |
| 24s | |
| 7m 56s | |
| 4m 43s | |
| 31s | |
| 23s | |
| 38s | |
| 15s | |
| 2m 29s | |
| 24m 26s |