It would be nice to be able to define extra HTML attributes for choices in a choice list that are added to the `option` or `input` tags. Origin of this ticket: #3456