Deprecate options.dimmed; use filters instead.