240 Clutch pedal differences

I was messing with the two pedal boxes I have for my auto to manual conversion, and I noticed something odd. Maybe I'm late to the party, but I can't dig up any info on this. I have two pedal boxes, and each box has a different length cable-pull. One is approximately 10mm longer than the other, above the pivot point.

Is this a thing? All the part number sites only list one pedal for virtually all years of 240, but they don't list any earlier numbers that might have been eliminated.

Actually, the early parts catalog shows the part number was updated from 1205715 to 1272673.

Ah! Cool .
I was quite surprised to see the differences, and pretty happy to choose the one that would give the most mechanical advantage.

Post '85 pedals have much better throw, more adjustment and easier on the legs, +1 to your decision! I'm always upset after I do someone else's conversion that I spend the newer pedal boxes on their cars vs. mine...