We have "choices" as a more rational (and portable) API; additionally,
the ownership semantics of the extra widget property getter are a hack.