K 10
svn:author
V 3
imp
K 8
svn:date
V 27
2018-02-27T17:36:01.841605Z
K 7
svn:log
V 151
Doc __DEFAULT_YES_OPTIONS, __DEFAULT_NO_OPTIONS and BROKEN_OPTIONS
in one paragraph to highlight the relationship between them.

Suggested by: kevans@

END