Validating and manipulating options

Authored by:Mark van der Loo insettings 0.2.8.
Source:Validating_and_manipulating_option_values.Rmd, Vignette:Validating_and_manipulating_option_values.html. Last updated:2018-07-05.