I have been searching the Forums for the past 5 hours and have not found this write up. Does anyone recall where it is? It was the use of a fender retainer and 1/4 inch washers to reduce the travel of the clutch pedal. The post included these photos.

 

When I made one for my BMW, I used this reference http://www.unofficialbmw.com/all/dri...djustment.html
might work for you as well on the Mini or give you ideas.