RJM clutch pedal is installed
Now for the adjustments
The saga so far...
I had the OEM pedal removed in approximately 15 minutes

In that period of time, I realized that I needed a few beers to limber me up

15 minutes 2x beer break

Spent another 15 minutes figuring out my working position. Brought a lateral file from the office downstairs, turned it on its side, and laid out a nice thick sleeping bag

Spent the next hour (with a few short breaks to relieve my back) getting the new pedal assembled and installed.
I am now on another beer break

Adjusting the pedal to my liking is the next step