#94 delete RectanglePushButtonDeprecated, no longer used by any clients