In support of #2518 the OptionList widget should have a method that allows for the replacement of an option's prompt, or at the very least the swapping out of one option for another.