I find all this complicated advice kind of amusing. Any kind of bike grease, Teflon or traditional, has always been fine for me. Never had a problem in 40 years. If you put enough on that it oozes out when you tighten the pedal, you know you've got enough in there. That's all there is to it. You don't need anything else, because pedals are one part of a bike that you should check and regrease periodically anyway, like quill stems. The one time I ever had trouble removing pedals was after I had let somebody else put them on.

Grease them, and then don't put them on too tight. You should give them a check before a ride just to ensure they haven't loosened.