Продолжу разработку формата. В прищепке - скрипт на языке Python для конвертации ini в xml. Для примера там же - сконвертированные Button.xml и StringTableMT.xml (как самый большой ini в стандартном пакете). Немного цифр:

Элемент	Размер ini	Размер xml	(xml - ini) / ini
Button	560	1964	2.51
StringTableMT	21634	58315	1.70

Это без переводов и без связывания свойств. Для XML был выбран вид "pretty-print" (т.е. с отступами). В "техническом" виде (без отступов) button занимает 1528 байт (1.73), StringTableMT - 42615 (0.97).

Ещё немного цифр:

Элемент	Размер ini.tar.gz	Размер xml.tar.gz	(xml - ini) / ini
Button	565	792	0.40
StringTableMT	6442	7547	0.17

В этом тесте использовался "технический" xml.
------------ Дoбавленo в 18.21:
Чуть позже выложу описание формата и доработанный конвертер (свойства Sub и Icon)