Hi Ian,
The functionality exists for exporting the extension config to CSV. Click on the 'Extensions' node in the management console, select your extensions and click on 'Export Extension' from the top menu. you will then get your csv file. Please let us know if you have any further questions or inquiries.
Best Regards