Our GE washer is about 20 years old, and the faithful ol' thing
has developed its first serious problem. It fills with water
fine, but when I pull the knob to begin the agitation cycle it
does not agitate. Instead it makes a noise that's a bit grindy.

Coincidentally, I noticed that the water pump leaks. That
couldn't relate to the above problem, could it?