config.md: advertise diffedit3 as an alternative to meld-3 diff editor
#10530
| Job | Run time |
|---|---|
| 25s | |
| 47s | |
| 25s | |
| 4m 11s | |
| 2m 56s | |
| 29s | |
| 7m 52s | |
| 2m 29s | |
| 5m 11s | |
| 38s | |
| 16s | |
| 25m 39s |