Code

Let the JSON formatter include a metric's data_names.