Instead of "extra_options", I think "instrumentation_options" is a better name for the feature.