Do we have a spec for this widget somewhere? I see that you added one for controlgroup, but I don't see one for checkboxradio.