def _is_deprecated(key):
 key = key.lower()
 return (key in _deprecated_options)

def _is_deprecated ( key ) : key = key . lower ( ) return ( key in _deprecated_options )
returns true if the given option has been deprecated .