I did this recently (had a squeak on the F pedal from sharp to natural, as well as a slight noise on the D pedal at times), and had followed Steve Moss’s Youtube video as far as how to do it (I used the type of grease from McMaster he recommends on his video; hadn’t read Carl’s note about the oil at the time, though I have seen oil used for this in the past, and the logic makes sense; will consider that in the future). For what it’s worth, the grease “worked”, at least in terms of resolving the noises I was hearing in the short term.
By the way, regardless of the type of lubricant you use, that video, as well as Peter Wiley’s video on disconnecting / connecting pedal springs were both very useful to me in terms of the basic process.