Haha, I get parts and builds mixed up all the time!
To answer the question, yes the 1N4001 and any 1N400x diode are interchangeable in pedals (clippers, octave rectifiers, etc) and will perform identically.
The numbers do matter for power stuff, like as a rectifier in a tube amp power supply...