Menu

It would be slightly safer to check ``choice.value`` here since there is the theoretical possibility of labels being translated.