@Phil,
The RIFA was there for a reason, but as you probably know that with age their casings micro-crack and allow ambient humidity to attack their dielectric which effectively makes them become incendiary timebombs, waiting to burn your equipment or even your whole workshop! Obviously it works without it, but is likely to be more vulnerable to mains transients and conducted EMI. You were lucky it was line to ground that tripped the RCD, rather than line to neutral, for which the first warning is a nasty smell if you are lucky, and smoke and flames if not.
I would therefore strongly recommend removing any other RIFA capacitors present, then replacing them with modern non-RIFA capacitors of similar value and voltage rating, class X for Line to Neutral and class Y for either live wire to Ground/PE.