That pedal a drummer presses to turn the closed hi-hat into an open hi-hat?

It occurred to me last week that it really ought to be labelled ‘Cymbal Shift’.