AIF exporter now pretty prints JSON.