Almost OT: Pushbutton switch latching