Added language such that only locally stored options must use OS-recommended settings. (Cloud options are okay).
Added language such that only locally stored options must use OS-recommended settings. (Cloud options are okay).
Merge branch 'master' of ssh://github.com/commoncriteria/application
Added application not to say such that remote configuration is okay.