If this was my machine I’d probably just use alligator clips and a jumper wire in the future. Whole house RCDs typically trip at about 30mA, so you are still well clear of that happening