Expecting to have to bleed it before tomorrow afternoon's MOT, on getting home I started having a poke round, and found that the pin, with circlips, which secures the push-rod to the lever, was missing.

I'm assuming I'll have to have one made, this part not being listed separately.
For the time being, I've replaced it with a 316 stainless bolt, with a Nyloc nut.
I wish that f**king poltergeist would leave me alone.