Just to close it off, I found these instructions useful for resetting the self adjusting mechanism.
Insert the cable through the hole in the bell housing and through the hole in the clutch release lever. Slide the ball on the end of the cable assembly away from the hole in the clutch release lever.
Install the clip retainer that holds the cable assembly to the bell housing.
Push the cable assembly into the hole in the dash panel and secure the isolator with a screw.
Install the cable assembly by lifting the clutch pedal to disengage the pawl and quadrant. Then, pushing the quadrant forward, hook the end of the cable over the rear of the quadrant.
Depress the clutch cable several times to adjust the cable.