add link to discussion of name of configuration option