I got that one, too. It's the easiest to read and will be the main one I'm going to use.
I'm thinking a blob of JB Weld at the right spot, filed to fit for over travel is the way to go. That's covered in other info. A You Tube poster did a spot weld, but JB's should do as well and I don't have a TIG set up. His looked prettier, but mine should work.
Removing sear engagement down to .20" or .15" shouldn't be that hard, Of course, check more, cut less... Or as old time carpenters love to say, measure twice, cut once. Polishing certain surfaces shouldn't that difficult.
Looks pretty straight forward, overall.
DF