I have used a fine knife sharpening stone to polish the faces on the trigger. I can't really get into the hammer notch, but polishing the trigger helps. Then, I take a dremel with a cotton buffing pad and some Flitz paste polish to get it close to a mirror shine, then try to get the hammer notch too. This can reduce the grittiness significantly, but won't effect the length of the pull. I want to do that trick using a set screw to reduce the trigger's travel, but I can't find a 1/4-28 set screw.

Sure, every hardware store has 1/4-20, but not 1/4-28... For this same reason I haven't done the mod using a set screw to retain the rear receiver pin detent and spring...
You do have to be careful when removing material from a trigger or hammer, especially mil-spec. These are usually case hardened and if you remove enough material to expose the soft metal beneath, you have ruined the trigger.