#6009: undocument default argument of Option as deprecated.
#6009: undocument default argument of Option as deprecated.

sk-/python2.7-type-annotator,sk-/python2.7-type-annotator,sk-/python2.7-type-annotator