Thank you. Interestingly, it was my bench supply that was even noisier than the pedal power supply. The power supply I was using is this one:

https://www.amazon.com/gp/product/B071RNT1CD/

​

Is there a relatively inexpensive (around $100 or so) variable power supply unit that is quiet and clean?