doc, cleanup, options for PushButton