I wouldn't know, but a few years ago, I was rather impressed to see that some PDP-10 models featured a knob to manually adjust the supply voltage: https://upload.wikimedia.org/wikipedia/commons/7/71/Digital_...