No idea if mine has had it done or not, but with the cars at the age they are, it will have either already been done or it was insignificant and never caused a problem otherwise a previous owner would have had it fixed.
Reading the thread it sounds line some kind of circlip or starlock washer on a pin on the clutch pedal, you could probably get these from any fastener supplier but failing that ford should have it, presumably will be about £5 for a washer from them
_________________________
2005 Fiesta ST - wrote off
Newman fast road cams, Fusion Fabrications custom inlet manifold, custom exhaust