Oh ...
Any plan to switch or add an option to export to JSON ? That would be more convenient than INI.
