It's exported as an .ini file.
Oh ...
Any plan to switch or add an option to export to JSON ? That would be more convenient than INI.
