While working on the SelectionList documentation I've noticed that even more
things have got lost from the docs relating to OptionList, likely lost when
widgets were removed from the API section of the docs.
This drags more OptionList-related types into the docs, thus providing more
links.