Thanks for advice on this fault.
The new element arrived today, I fitted it, just bending the earth leads out of the way and ran the oven for quarter of an hour without it tripping the RCD. Usually, if it trips, it trips while the thing is still heating up, so it looks hopeful that it just...