The behavior of the Hotkey constructor is already accomplished via in-class member
initializers, so the constructor is superfluous here.