In package distr, we add an extra option "newDevice";
it is inspected and manipulated as usual.
Arguments
concept
global options
options
Details
We do not change the behaviour of options or getOption;
for the general documentation to these two functions,
confer options, getOption. Here
we only document added options.