Read/Write INI files with Python