#94 delete ToggleButtonDeprecated, no longer used by any clients