Next job is to get the clutch working. As you would expect, the seals had gone in the slave cylinder, and so I removed it. It proved to be difficult to get out and was damaged, so I’ve ordered a brand new replacement. That should mean less trouble later on with this awkward to get at part. I am fitting a repair kit to the master cylinder while the system is drained. So new hydraulics in a few days, when the parts arrive.