Timing & counter export functionality for RGP files

[tomjohnstone]

Hi,

Is there any planned support for exporting timing data and counters from a RGP file to a some kind of human readable format like CSV, JSON, XML etc?

Thanks,
Tom