Document ChoiceState's opt.choices parameter (see #136).