I got a detailed report, but it only said things such as "checked plug ABC, pin 123 for continuity”. They found continuity in a pin, which presumably indicated a short circuit. They removed the plug, cleaned it and refitted it - no more short.
Athe whole problem was that the rear washer pipe...